Cfg: Allow for multiple exception successors.

aschackmull · aschackmull · commit 01fcc417f2bc · 2025-08-29T10:25:55.000+02:00
diff --git a/shared/controlflow/codeql/controlflow/Cfg.qll b/shared/controlflow/codeql/controlflow/Cfg.qll
@@ -1516,6 +1516,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
`@@ -1516,6 +1516,8 @@ module MakeWithSplitting<`
`1516`	`1516`	`query predicate multipleSuccessors(Node node, SuccessorType t, Node successor) {`
`1517`	`1517`	`strictcount(getASuccessor(node, t)) > 1 and`
`1518`	`1518`	`successor = getASuccessor(node, t) and`
	`1519`	`+ // allow for multiple exception successors`
	`1520`	`+ not t instanceof ExceptionSuccessor and`
`1519`	`1521`	`// allow for functions with multiple bodies`
`1520`	`1522`	`not (t instanceof SimpleSuccessorType and node instanceof EntryNode)`
`1521`	`1523`	`}`