Java: Assume normal termination in post-dominance.

aschackmull · aschackmull · commit 0a27a8c2559a · 2025-08-04T15:08:26.000+02:00
diff --git a/java/ql/lib/semmle/code/java/controlflow/BasicBlocks.qll b/java/ql/lib/semmle/code/java/controlflow/BasicBlocks.qll
@@ -57,7 +57,7 @@ private module Input implements BB::InputSig<Location> {
    * Holds if `node` represents an exit node to be used when calculating
    * post dominance.
    */
-  predicate nodeIsPostDominanceExit(Node node) { node instanceof ControlFlow::ExitNode }
+  predicate nodeIsPostDominanceExit(Node node) { node instanceof ControlFlow::NormalExitNode }
 }
 
 private module BbImpl = BB::Make<Location, Input>;

Original file line number	Diff line number	Diff line change
`@@ -57,7 +57,7 @@ private module Input implements BB::InputSig<Location> {`
`57`	`57`	* Holds if `node` represents an exit node to be used when calculating
`58`	`58`	`* post dominance.`
`59`	`59`	`*/`
`60`		`- predicate nodeIsPostDominanceExit(Node node) { node instanceof ControlFlow::ExitNode }`
	`60`	`+ predicate nodeIsPostDominanceExit(Node node) { node instanceof ControlFlow::NormalExitNode }`
`61`	`61`	`}`
`62`	`62`
`63`	`63`	`private module BbImpl = BB::Make<Location, Input>;`