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

Shared: Respond to review comments.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2026-04-07 11:11:04 +01:00
parent 4d8b782695
commit e06294bcb4
1 changed files with 2 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll
View File

@@ -86,15 +86,13 @@ module MakeImplStage1<LocationSig Location, InputSig<Location> Lang> {
bindingset[p, kind]
predicate parameterFlowThroughAllowed(ParamNd p, ReturnKindExt kind);
predicate fwdFlow(Nd node);
// begin StageSig
class Ap;
class ApNil extends Ap;
predicate fwdFlow(Nd node);
predicate fwdFlow(Nd node, Ap ap);
predicate revFlow(Nd node);
predicate revFlow(Nd node, Ap ap);
@@ -1297,11 +1295,6 @@ module MakeImplStage1<LocationSig Location, InputSig<Location> Lang> {
predicate fwdFlow(Nd node) { Stage1::fwdFlow(node) }
predicate fwdFlow(Nd node, Ap ap) {
Stage1::fwdFlow(node) and
exists(ap)
}
predicate revFlow(NodeEx node, Ap ap) { Stage1::revFlow(node) and exists(ap) }
predicate toNormalSinkNode = toNormalSinkNodeEx/1;
@@ -1408,8 +1401,6 @@ module MakeImplStage1<LocationSig Location, InputSig<Location> Lang> {
predicate fwdFlow(Nd node) { Stage1::fwdFlow(node.getNodeEx()) }
predicate fwdFlow(Nd node, Ap ap) { Stage1::fwdFlow(node.getNodeEx()) and exists(ap) }
predicate revFlow(Nd node) { Stage1::revFlow(node.getNodeEx()) }
predicate revFlow(Nd node, Ap ap) { Stage1::revFlow(node.getNodeEx()) and exists(ap) }