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

Improve bad join order

Browse Source
This commit is contained in:
Owen Mansel-Chan
2025-02-21 10:31:46 +00:00
parent a1b7096125
commit 50d1bc6aa0
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
go/ql/lib/semmle/go/dataflow/internal/DataFlowUtil.qll
View File

@@ -385,9 +385,9 @@ module BarrierGuard<guardChecksSig/3 guardChecks> {
Node nd, Node resNode
) {
guardingFunction(g, f, inp, outp, p) and
c = f.getACall() and
c = pragma[only_bind_into](f).getACall() and
nd = inp.getNode(c) and
localFlow(pragma[only_bind_out](outp.getNode(c)), resNode)
localFlow(outp.getNode(c), resNode)
}
private predicate onlyPossibleReturnSatisfyingProperty(