Shared: Add CFG consistency check for scopes with missing entry points

github · Sep 25, 2024 · f4f2c85 · f4f2c85
1 parent 0baa9e9
commit f4f2c85
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/shared/controlflow/codeql/controlflow/Cfg.qll b/shared/controlflow/codeql/controlflow/Cfg.qll
@@ -1387,9 +1387,13 @@ module Make<LocationSig Location, InputSig<Location> Input> {
       strictcount(sk.getListOrder()) > 1
     }
 
+    /** Holds if `n` has multiple textual representations. */
     query predicate multipleToString(Node n, string s) {
       s = strictconcat(n.toString(), ",") and
       strictcount(n.toString()) > 1
     }
+
+    /** Hods if CFG scope lacks an initial AST node. */
+    query predicate scopeNoFirst(CfgScope scope) { not scopeFirst(scope, _) }
   }
 }