Skip to content

Commit 1e039d9

Browse files
committed
Java: Fix reference to entry node.
1 parent 8f3eddf commit 1e039d9

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

java/ql/test/library-tests/controlflow/dominance/dominanceWrong.ql

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,5 +17,6 @@ predicate dominanceCounterExample(ControlFlowNode entry, ControlFlowNode dom, Co
1717
from Callable c, ControlFlowNode dom, ControlFlowNode node
1818
where
1919
strictlyDominates(dom, node) and
20-
dominanceCounterExample(c.getBody().getControlFlowNode(), dom, node)
20+
dominanceCounterExample(any(ControlFlow::EntryNode entry | entry.getEnclosingCallable() = c), dom,
21+
node)
2122
select c, dom, node

0 commit comments

Comments
 (0)