Skip to content

Commit d1310c7

Browse files
committed
Shared: remove old stateful outBarrier check
1 parent ddbacc3 commit d1310c7

File tree

1 file changed

+5
-8
lines changed

1 file changed

+5
-8
lines changed

shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll

Lines changed: 5 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -3773,14 +3773,11 @@ module MakeImpl<InputSig Lang> {
37733773
}
37743774

37753775
override PathNodeImpl getASuccessorImpl() {
3776-
not outBarrier(node, state) and
3777-
(
3778-
// an intermediate step to another intermediate node
3779-
result = this.getSuccMid()
3780-
or
3781-
// a final step to a sink
3782-
result = this.getSuccMid().projectToSink()
3783-
)
3776+
// an intermediate step to another intermediate node
3777+
result = this.getSuccMid()
3778+
or
3779+
// a final step to a sink
3780+
result = this.getSuccMid().projectToSink()
37843781
}
37853782

37863783
override predicate isSource() {

0 commit comments

Comments
 (0)