Merge pull request #18497 from paldepind/shared-basic-block-library

Add shared basic block library
github · Jan 24, 2025 · a6cd53e · a6cd53e
2 parents bafed4e + e13a7a2
commit a6cd53e
Show file tree

Hide file tree

Showing 20 changed files with 9,201 additions and 980 deletions.
diff --git a/actions/ql/lib/codeql/actions/controlflow/internal/Cfg.qll b/actions/ql/lib/codeql/actions/controlflow/internal/Cfg.qll
@@ -134,6 +134,10 @@ private module Implementation implements CfgShared::InputSig<Location> {
   SuccessorType getAMatchingSuccessorType(Completion c) { result = c.getAMatchingSuccessorType() }
 
   predicate isAbnormalExitType(SuccessorType t) { none() }
+
+  int idOfAstNode(AstNode node) { none() }
+
+  int idOfCfgScope(CfgScope scope) { none() }
 }
 
 module CfgImpl = CfgShared::Make<Location, Implementation>;