hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-11 20:51:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

Cfg: Fix compilation.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2026-02-04 15:28:37 +01:00
parent 2d61fc5309
commit 83adf793e4
2 changed files with 7 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
shared/controlflow/codeql/controlflow/Cfg.qll
View File

@@ -1122,6 +1122,9 @@ module MakeWithSplitting<
/** Gets the scope of this node. */
CfgScope getScope() { result = getNodeCfgScope(this) }
/** Gets the enclosing callable of this node. */
CfgScope getEnclosingCallable() { result = this.getScope() }
/** Gets a successor node of a given type, if any. */
Node getASuccessor(SuccessorType t) { result = getASuccessor(this, t) }
@@ -1315,9 +1318,7 @@ module MakeWithSplitting<
private module PrintGraphInput implements Pp::InputSig<Location> {
class Callable = CfgScope;
class ControlFlowNode extends Node {
Callable getEnclosingCallable() { result = this.getScope() }
}
class ControlFlowNode = Node;
ControlFlowNode getASuccessor(ControlFlowNode n, SuccessorType t) {
result = n.getASuccessor(t)

6
shared/controlflow/codeql/controlflow/PrintGraph.qll
View File

@@ -102,13 +102,13 @@ module PrintGraph<LocationSig Location, InputSig<Location> Input> {
/** Provides the input to `ViewCfgQuery`. */
signature module ViewCfgQueryInputSig<FileSig File> {
/** The source file selected in the IDE. Should be an `external` predicate. */
/** Gets the source file selected in the IDE. Should be an `external` predicate. */
string selectedSourceFile();
/** The source line selected in the IDE. Should be an `external` predicate. */
/** Gets the source line selected in the IDE. Should be an `external` predicate. */
int selectedSourceLine();
/** The source column selected in the IDE. Should be an `external` predicate. */
/** Gets the source column selected in the IDE. Should be an `external` predicate. */
int selectedSourceColumn();
/**