Shared CFG: update simpleLeafNode to exclude those with additional nodes

2026-05-24 08:07:07 +02:00 · 2026-05-21 13:29:58 +01:00
parent a84043b627
commit 19f93cd18b
1 changed files with 1 additions and 0 deletions
--- a/shared/controlflow/codeql/controlflow/ControlFlowGraph.qll
+++ b/shared/controlflow/codeql/controlflow/ControlFlowGraph.qll
@@ -640,6 +640,7 @@ module Make0<LocationSig Location, AstSig<Location> Ast> {
      Input1::cfgCachedStageRef() and
      not exists(getChild(n, _)) and
      not postOrInOrder(n) and
+      not additionalNode(n, _, _) and
      not inConditionalContext(n, _)
    }