hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-24 16:25:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Dataflow: simplify using stage aliases.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2023-10-27 13:40:21 +02:00
parent 0f4ea10638
commit 10c657bc23
1 changed files with 3 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll
View File

@@ -2517,9 +2517,7 @@ module MakeImpl<InputSig Lang> {
predicate enableTypeFlow() { none() }
}
private module Stage2 implements StageSig {
import MkStage<Stage1>::Stage<Stage2Param>
}
private module Stage2 = MkStage<Stage1>::Stage<Stage2Param>;
pragma[nomagic]
private predicate flowOutOfCallNodeCand2(
@@ -2780,9 +2778,7 @@ module MakeImpl<InputSig Lang> {
}
}
private module Stage3 implements StageSig {
import MkStage<Stage2>::Stage<Stage3Param>
}
private module Stage3 = MkStage<Stage2>::Stage<Stage3Param>;
bindingset[node, t0]
private predicate strengthenType(NodeEx node, DataFlowType t0, DataFlowType t) {
@@ -2884,9 +2880,7 @@ module MakeImpl<InputSig Lang> {
}
}
private module Stage4 implements StageSig {
import MkStage<Stage3>::Stage<Stage4Param>
}
private module Stage4 = MkStage<Stage3>::Stage<Stage4Param>;
/**
* Holds if `argApf` is recorded as the summary context for flow reaching `node`