We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ddbacc3 commit d1310c7Copy full SHA for d1310c7
shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll
@@ -3773,14 +3773,11 @@ module MakeImpl<InputSig Lang> {
3773
}
3774
3775
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
- )
+ // an intermediate step to another intermediate node
+ result = this.getSuccMid()
+ or
+ // a final step to a sink
+ result = this.getSuccMid().projectToSink()
3784
3785
3786
override predicate isSource() {
0 commit comments