hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Dataflow: Remove some dead code.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-01-07 12:56:26 +01:00
parent b0062fc727
commit eea85d8f82
1 changed files with 1 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -894,12 +894,6 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node) { revFlow(node, _) } predicate revFlow(NodeEx node) { revFlow(node, _) }
pragma[nomagic]
predicate revFlowAp(NodeEx node, Ap ap) {
revFlow(node) and
exists(ap)
}
bindingset[node, state] bindingset[node, state]
predicate revFlow(NodeEx node, FlowState state, Ap ap) { predicate revFlow(NodeEx node, FlowState state, Ap ap) {
revFlow(node, _) and revFlow(node, _) and
@@ -1278,8 +1272,6 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
predicate revFlow(NodeEx node); predicate revFlow(NodeEx node);
predicate revFlowAp(NodeEx node, Ap ap);
bindingset[node, state] bindingset[node, state]
predicate revFlow(NodeEx node, FlowState state, Ap ap); predicate revFlow(NodeEx node, FlowState state, Ap ap);
@@ -2456,16 +2448,11 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
) )
} }
additional predicate revFlow(NodeEx node, FlowState state) { revFlow(node, state, _, _, _) }
predicate revFlow(NodeEx node, FlowState state, Ap ap) { revFlow(node, state, _, _, ap) } predicate revFlow(NodeEx node, FlowState state, Ap ap) { revFlow(node, state, _, _, ap) }
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node) { revFlow(node, _, _, _, _) } predicate revFlow(NodeEx node) { revFlow(node, _, _, _, _) }
pragma[nomagic]
predicate revFlowAp(NodeEx node, Ap ap) { revFlow(node, _, _, _, ap) }
private predicate fwdConsCand(Content c, Ap ap) { storeStepFwd(_, ap, c, _, _) } private predicate fwdConsCand(Content c, Ap ap) { storeStepFwd(_, ap, c, _, _) }
private predicate revConsCand(Content c, Ap ap) { private predicate revConsCand(Content c, Ap ap) {
@@ -2620,7 +2607,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
*/ */
private class FlowCheckNode extends NodeEx { private class FlowCheckNode extends NodeEx {
FlowCheckNode() { FlowCheckNode() {
revFlow(this, _, _) and revFlow(this) and
( (
flowCheckNode(this) or flowCheckNode(this) or
Config::neverSkip(this.asNode()) Config::neverSkip(this.asNode())