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

MathiasVP · web-flow · commit e244eef3b56a · 2024-06-13T10:44:46.000+01:00
Mergeback from `rc/3.14`
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`