Skip to content

Commit e152663

Browse files
committed
C#: Fix bogus guards implication.
1 parent 8f85964 commit e152663

File tree

1 file changed

+0
-4
lines changed
  • csharp/ql/lib/semmle/code/csharp/controlflow

1 file changed

+0
-4
lines changed

csharp/ql/lib/semmle/code/csharp/controlflow/Guards.qll

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1620,10 +1620,6 @@ module Internal {
16201620
isGuard(g1, v1) and
16211621
v2 = v1
16221622
or
1623-
g2 = g1.(Assignment).getLValue() and
1624-
isGuard(g1, v1) and
1625-
v2 = v1
1626-
or
16271623
g2 = g1.(CastExpr).getExpr() and
16281624
isGuard(g1, v1) and
16291625
v2 = v1.(NullValue)

0 commit comments

Comments
 (0)