We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent ae12d27 commit d854396Copy full SHA for d854396
java/ql/lib/semmle/code/java/ControlFlowGraph.qll
@@ -86,7 +86,7 @@ private import controlflow.internal.SwitchCases
86
87
module ControlFlow {
88
private predicate hasControlFlow(Expr e) {
89
- not e.getEnclosingStmt() instanceof ConstCase and
+ not exists(ConstCase cc | e = cc.getValue(_)) and
90
not e.getParent*() instanceof Annotation and
91
not e instanceof TypeAccess and
92
not e instanceof ArrayTypeAccess and
0 commit comments