Skip to content

Commit 4b8e4b4

Browse files
committed
C#: Fix test.
1 parent b0c31ba commit 4b8e4b4

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

csharp/ql/test/library-tests/dataflow/ssa/BaseSsaConsistency.ql

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,5 +11,9 @@ where
1111
not exists(Ssa::ExplicitDefinition edef |
1212
edef.getADefinition() = def and
1313
edef.getARead() = ar
14+
) and
15+
not exists(Ssa::ImplicitParameterDefinition edef |
16+
edef.getParameter() = def.(AssignableDefinitions::ImplicitParameterDefinition).getParameter() and
17+
edef.getARead() = ar
1418
)
1519
select ar, def

0 commit comments

Comments
 (0)