Actions: Implement added predicates in CFG instantiation

paldepind · paldepind · commit 53b63bed00a8 · 2025-01-17T13:31:00.000+01:00
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>;

Original file line number	Diff line number	Diff line change
`@@ -134,6 +134,10 @@ private module Implementation implements CfgShared::InputSig<Location> {`
`134`	`134`	`SuccessorType getAMatchingSuccessorType(Completion c) { result = c.getAMatchingSuccessorType() }`
`135`	`135`
`136`	`136`	`predicate isAbnormalExitType(SuccessorType t) { none() }`
	`137`	`+`
	`138`	`+ int idOfAstNode(AstNode node) { none() }`
	`139`	`+`
	`140`	`+ int idOfCfgScope(CfgScope scope) { none() }`
`137`	`141`	`}`
`138`	`142`
`139`	`143`	`module CfgImpl = CfgShared::Make<Location, Implementation>;`