Data flow: Tweak join-order in toNormalSinkNodeEx

hvitved · hvitved · commit b589fcad1124 · 2024-08-27T15:42:24.000+02:00
diff --git a/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll b/shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll
@@ -2728,7 +2728,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
             pragma[nomagic]
             NodeEx toNormalSinkNodeEx() {
               exists(Node n |
-                node.asNodeOrImplicitRead() = n and
+                pragma[only_bind_out](node.asNodeOrImplicitRead()) = n and
                 (Config::isSink(n) or Config::isSink(n, _)) and
                 result.asNode() = n
               )

Original file line number	Diff line number	Diff line change
`@@ -2728,7 +2728,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {`
`2728`	`2728`	`pragma[nomagic]`
`2729`	`2729`	`NodeEx toNormalSinkNodeEx() {`
`2730`	`2730`	`exists(Node n \|`
`2731`		`- node.asNodeOrImplicitRead() = n and`
	`2731`	`+ pragma[only_bind_out](node.asNodeOrImplicitRead()) = n and`
`2732`	`2732`	`(Config::isSink(n) or Config::isSink(n, _)) and`
`2733`	`2733`	`result.asNode() = n`
`2734`	`2734`	`)`