Merge pull request #16740 from MathiasVP/fix-join-in-ssa

SSA: Fix bad join in `lastRefRedefExt`

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))
     )
   }