Merge pull request github#12855 from MathiasVP/fix-joins-in-use-after-free

C++: Fix bad self-join in `cpp/use-after-free`

Author: MathiasVP

cpp/ql/src/Critical/UseAfterFree.ql

@@ -128,7 +128,8 @@ module ParameterSinks {
       callHasTargetAndArgument(f, i, call, argument) and
       initializeParameterInFunction(f, i, p) and
       p = getAnAlwaysDereferencedParameter() and
-      result = pragma[only_bind_out](valueNumber(argument).getAnInstruction()) and
+      result =
+        pragma[only_bind_out](pragma[only_bind_into](valueNumber(argument)).getAnInstruction()) and
       call = getAnAlwaysReachedCallInstruction(_)
     )
   }