Merge pull request #16748 from MathiasVP/rc-3.14-mergeback-2

Mergeback from `rc/3.14`

shared/ssa/codeql/ssa/Ssa.qll

@@ -801,7 +801,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {
       input = bb
       or
       varBlockReachesExt(def, v, bb, input) and
-      ssaDefReachesThroughBlock(def, input)
+      ssaDefReachesThroughBlock(def, pragma[only_bind_into](input))
     )
   }