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

MathiasVP · web-flow · commit 9384f6189e0c · 2024-06-13T09:06:20.000+01:00
SSA: Fix bad join in `lastRefRedefExt`
diff --git a/shared/ssa/codeql/ssa/Ssa.qll b/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))
     )
   }
 

Original file line number	Diff line number	Diff line change
`@@ -801,7 +801,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {`
`801`	`801`	`input = bb`
`802`	`802`	`or`
`803`	`803`	`varBlockReachesExt(def, v, bb, input) and`
`804`		`- ssaDefReachesThroughBlock(def, input)`
	`804`	`+ ssaDefReachesThroughBlock(def, pragma[only_bind_into](input))`
`805`	`805`	`)`
`806`	`806`	`}`
`807`	`807`