Thanks to visit codestin.com Credit goes to github.com
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 37c8917 commit 796eac1Copy full SHA for 796eac1
1 file changed
java/ql/src/semmle/code/java/ControlFlowGraph.qll
@@ -711,7 +711,8 @@ private module ControlFlowGraphImpl {
711
)
712
or
713
exists(InstanceOfExpr ioe | ioe.isPattern() and ioe = n |
714
- last = n and completion = basicBooleanCompletion(false) or
+ last = n and completion = basicBooleanCompletion(false)
715
+ or
716
last = ioe.getLocalVariableDeclExpr() and completion = basicBooleanCompletion(true)
717
718
0 commit comments