Cfg: Allow for multiple exception successors.

aschackmull · aschackmull · commit 0df7d6f7285b · 2025-08-29T10:57:50.000+02:00
diff --git a/shared/controlflow/codeql/controlflow/Cfg.qll b/shared/controlflow/codeql/controlflow/Cfg.qll
@@ -1521,6 +1521,8 @@ module MakeWithSplitting<
     query predicate multipleSuccessors(Node node, SuccessorType t, Node successor) {
       strictcount(getASuccessor(node, t)) > 1 and
       successor = getASuccessor(node, t) and
+      // allow for multiple exception successors
+      not t instanceof ExceptionSuccessor and
       // allow for functions with multiple bodies
       not (t instanceof SimpleSuccessorType and node instanceof EntryNode)
     }

Original file line number	Diff line number	Diff line change
`@@ -1521,6 +1521,8 @@ module MakeWithSplitting<`
`1521`	`1521`	`query predicate multipleSuccessors(Node node, SuccessorType t, Node successor) {`
`1522`	`1522`	`strictcount(getASuccessor(node, t)) > 1 and`
`1523`	`1523`	`successor = getASuccessor(node, t) and`
	`1524`	`+ // allow for multiple exception successors`
	`1525`	`+ not t instanceof ExceptionSuccessor and`
`1524`	`1526`	`// allow for functions with multiple bodies`
`1525`	`1527`	`not (t instanceof SimpleSuccessorType and node instanceof EntryNode)`
`1526`	`1528`	`}`