Data flow: Tweak join-order in toNormalSinkNodeEx

2025-12-16 16:53:25 +01:00 · 2024-08-27 15:42:24 +02:00
parent 80b6135a64
commit b589fcad11
1 changed files with 1 additions and 1 deletions
--- 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
              )