Skip to content

Commit 17beb2d

Browse files
jbjjbj
committed
C++: Remove big-step relation in flow-through code
This relation was originally introduced to improve performance but may no longer be necessary. The `localFlowStepPlus` predicate had an explosion of tuples on oneapi-src/oneDNN for C++.
1 parent e00a8f7 commit 17beb2d

File tree

4 files changed

+4
-196
lines changed

4 files changed

+4
-196
lines changed

‎cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll‎

Lines changed: 1 addition & 49 deletions
Original file line numberDiff line numberDiff line change
@@ -147,54 +147,6 @@ private module Cached {
147147
}
148148
}
149149

150-
private module LocalFlowBigStep {
151-
private predicate localFlowEntry(Node n) {
152-
Cand::cand(_, n) and
153-
(
154-
n instanceof ParameterNode or
155-
n instanceof OutNode or
156-
readStep(_, _, n) or
157-
n instanceof CastNode
158-
)
159-
}
160-
161-
private predicate localFlowExit(Node n) {
162-
Cand::cand(_, n) and
163-
(
164-
n instanceof ArgumentNode
165-
or
166-
n instanceof ReturnNode
167-
or
168-
readStep(n, _, _)
169-
or
170-
n instanceof CastNode
171-
or
172-
n =
173-
any(PostUpdateNode pun | Cand::parameterValueFlowsToPreUpdateCand(_, pun))
174-
.getPreUpdateNode()
175-
)
176-
}
177-
178-
pragma[nomagic]
179-
private predicate localFlowStepPlus(Node node1, Node node2) {
180-
localFlowEntry(node1) and
181-
simpleLocalFlowStep(node1, node2) and
182-
node1 != node2
183-
or
184-
exists(Node mid |
185-
localFlowStepPlus(node1, mid) and
186-
simpleLocalFlowStep(mid, node2) and
187-
not mid instanceof CastNode
188-
)
189-
}
190-
191-
pragma[nomagic]
192-
predicate localFlowBigStep(Node node1, Node node2) {
193-
localFlowStepPlus(node1, node2) and
194-
localFlowExit(node2)
195-
}
196-
}
197-
198150
/**
199151
* The final flow-through calculation:
200152
*
@@ -234,7 +186,7 @@ private module Cached {
234186
// local flow
235187
exists(Node mid |
236188
parameterValueFlow(p, mid, read) and
237-
LocalFlowBigStep::localFlowBigStep(mid, node)
189+
simpleLocalFlowStep(mid, node)
238190
)
239191
or
240192
// read

‎cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll‎

Lines changed: 1 addition & 49 deletions
Original file line numberDiff line numberDiff line change
@@ -147,54 +147,6 @@ private module Cached {
147147
}
148148
}
149149

150-
private module LocalFlowBigStep {
151-
private predicate localFlowEntry(Node n) {
152-
Cand::cand(_, n) and
153-
(
154-
n instanceof ParameterNode or
155-
n instanceof OutNode or
156-
readStep(_, _, n) or
157-
n instanceof CastNode
158-
)
159-
}
160-
161-
private predicate localFlowExit(Node n) {
162-
Cand::cand(_, n) and
163-
(
164-
n instanceof ArgumentNode
165-
or
166-
n instanceof ReturnNode
167-
or
168-
readStep(n, _, _)
169-
or
170-
n instanceof CastNode
171-
or
172-
n =
173-
any(PostUpdateNode pun | Cand::parameterValueFlowsToPreUpdateCand(_, pun))
174-
.getPreUpdateNode()
175-
)
176-
}
177-
178-
pragma[nomagic]
179-
private predicate localFlowStepPlus(Node node1, Node node2) {
180-
localFlowEntry(node1) and
181-
simpleLocalFlowStep(node1, node2) and
182-
node1 != node2
183-
or
184-
exists(Node mid |
185-
localFlowStepPlus(node1, mid) and
186-
simpleLocalFlowStep(mid, node2) and
187-
not mid instanceof CastNode
188-
)
189-
}
190-
191-
pragma[nomagic]
192-
predicate localFlowBigStep(Node node1, Node node2) {
193-
localFlowStepPlus(node1, node2) and
194-
localFlowExit(node2)
195-
}
196-
}
197-
198150
/**
199151
* The final flow-through calculation:
200152
*
@@ -234,7 +186,7 @@ private module Cached {
234186
// local flow
235187
exists(Node mid |
236188
parameterValueFlow(p, mid, read) and
237-
LocalFlowBigStep::localFlowBigStep(mid, node)
189+
simpleLocalFlowStep(mid, node)
238190
)
239191
or
240192
// read

‎csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImplCommon.qll‎

Lines changed: 1 addition & 49 deletions
Original file line numberDiff line numberDiff line change
@@ -147,54 +147,6 @@ private module Cached {
147147
}
148148
}
149149

150-
private module LocalFlowBigStep {
151-
private predicate localFlowEntry(Node n) {
152-
Cand::cand(_, n) and
153-
(
154-
n instanceof ParameterNode or
155-
n instanceof OutNode or
156-
readStep(_, _, n) or
157-
n instanceof CastNode
158-
)
159-
}
160-
161-
private predicate localFlowExit(Node n) {
162-
Cand::cand(_, n) and
163-
(
164-
n instanceof ArgumentNode
165-
or
166-
n instanceof ReturnNode
167-
or
168-
readStep(n, _, _)
169-
or
170-
n instanceof CastNode
171-
or
172-
n =
173-
any(PostUpdateNode pun | Cand::parameterValueFlowsToPreUpdateCand(_, pun))
174-
.getPreUpdateNode()
175-
)
176-
}
177-
178-
pragma[nomagic]
179-
private predicate localFlowStepPlus(Node node1, Node node2) {
180-
localFlowEntry(node1) and
181-
simpleLocalFlowStep(node1, node2) and
182-
node1 != node2
183-
or
184-
exists(Node mid |
185-
localFlowStepPlus(node1, mid) and
186-
simpleLocalFlowStep(mid, node2) and
187-
not mid instanceof CastNode
188-
)
189-
}
190-
191-
pragma[nomagic]
192-
predicate localFlowBigStep(Node node1, Node node2) {
193-
localFlowStepPlus(node1, node2) and
194-
localFlowExit(node2)
195-
}
196-
}
197-
198150
/**
199151
* The final flow-through calculation:
200152
*
@@ -234,7 +186,7 @@ private module Cached {
234186
// local flow
235187
exists(Node mid |
236188
parameterValueFlow(p, mid, read) and
237-
LocalFlowBigStep::localFlowBigStep(mid, node)
189+
simpleLocalFlowStep(mid, node)
238190
)
239191
or
240192
// read

‎java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll‎

Lines changed: 1 addition & 49 deletions
Original file line numberDiff line numberDiff line change
@@ -147,54 +147,6 @@ private module Cached {
147147
}
148148
}
149149

150-
private module LocalFlowBigStep {
151-
private predicate localFlowEntry(Node n) {
152-
Cand::cand(_, n) and
153-
(
154-
n instanceof ParameterNode or
155-
n instanceof OutNode or
156-
readStep(_, _, n) or
157-
n instanceof CastNode
158-
)
159-
}
160-
161-
private predicate localFlowExit(Node n) {
162-
Cand::cand(_, n) and
163-
(
164-
n instanceof ArgumentNode
165-
or
166-
n instanceof ReturnNode
167-
or
168-
readStep(n, _, _)
169-
or
170-
n instanceof CastNode
171-
or
172-
n =
173-
any(PostUpdateNode pun | Cand::parameterValueFlowsToPreUpdateCand(_, pun))
174-
.getPreUpdateNode()
175-
)
176-
}
177-
178-
pragma[nomagic]
179-
private predicate localFlowStepPlus(Node node1, Node node2) {
180-
localFlowEntry(node1) and
181-
simpleLocalFlowStep(node1, node2) and
182-
node1 != node2
183-
or
184-
exists(Node mid |
185-
localFlowStepPlus(node1, mid) and
186-
simpleLocalFlowStep(mid, node2) and
187-
not mid instanceof CastNode
188-
)
189-
}
190-
191-
pragma[nomagic]
192-
predicate localFlowBigStep(Node node1, Node node2) {
193-
localFlowStepPlus(node1, node2) and
194-
localFlowExit(node2)
195-
}
196-
}
197-
198150
/**
199151
* The final flow-through calculation:
200152
*
@@ -234,7 +186,7 @@ private module Cached {
234186
// local flow
235187
exists(Node mid |
236188
parameterValueFlow(p, mid, read) and
237-
LocalFlowBigStep::localFlowBigStep(mid, node)
189+
simpleLocalFlowStep(mid, node)
238190
)
239191
or
240192
// read

0 commit comments

Comments
 (0)