We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ba05bf3 commit 9ff304cCopy full SHA for 9ff304c
csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
@@ -226,9 +226,9 @@ module LocalFlow {
226
or
227
isSuccessor = true and
228
exists(ControlFlowElement cfe | cfe = e2.(TupleExpr).(PatternExpr).getPatternMatch() |
229
- cfe.(IsExpr).getExpr() = e1
+ cfe.(IsExpr).getExpr() = e1 and scope = cfe
230
231
- exists(Switch sw | sw.getACase() = cfe and sw.getExpr() = e1)
+ exists(Switch sw | sw.getACase() = cfe and sw.getExpr() = e1 and scope = sw)
232
)
233
234
}
0 commit comments