Skip to content

Commit 50d1bc6

Browse files
committed
Improve bad join order
1 parent a1b7096 commit 50d1bc6

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

go/ql/lib/semmle/go/dataflow/internal/DataFlowUtil.qll

+2-2
Original file line numberDiff line numberDiff line change
@@ -385,9 +385,9 @@ module BarrierGuard<guardChecksSig/3 guardChecks> {
385385
Node nd, Node resNode
386386
) {
387387
guardingFunction(g, f, inp, outp, p) and
388-
c = f.getACall() and
388+
c = pragma[only_bind_into](f).getACall() and
389389
nd = inp.getNode(c) and
390-
localFlow(pragma[only_bind_out](outp.getNode(c)), resNode)
390+
localFlow(outp.getNode(c), resNode)
391391
}
392392

393393
private predicate onlyPossibleReturnSatisfyingProperty(

0 commit comments

Comments
 (0)