Skip to content

Commit e462df4

Browse files
committed
C#: Fix CFG for assertion.
1 parent 9f1c7c4 commit e462df4

File tree

1 file changed

+0
-5
lines changed

1 file changed

+0
-5
lines changed

csharp/ql/lib/semmle/code/csharp/controlflow/internal/Completion.qll

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -429,11 +429,6 @@ private predicate inBooleanContext(Expr e) {
429429
or
430430
e = any(SpecificCatchClause scc).getFilterClause()
431431
or
432-
exists(BooleanAssertMethod m, int i |
433-
assertion(_, i, m, e) and
434-
i = m.getAnAssertionIndex(_)
435-
)
436-
or
437432
e = any(LogicalNotExpr lne | inBooleanContext(lne)).getAnOperand()
438433
or
439434
exists(LogicalAndExpr lae |

0 commit comments

Comments
 (0)