C++: Ensure that equiv instructions are in the same block.

MathiasVP · MathiasVP · commit d9b2a722329e · 2023-03-30T11:22:24.000+01:00
diff --git a/cpp/ql/lib/experimental/semmle/code/cpp/semantic/SemanticExprSpecific.qll b/cpp/ql/lib/experimental/semmle/code/cpp/semantic/SemanticExprSpecific.qll
@@ -46,7 +46,8 @@ module SemanticExprConfig {
     (
       i1 = i2
       or
-      i2 = safeConversion(i1.getAUse())
+      i2 = safeConversion(i1.getAUse()) and
+      i1.getBlock() = i2.getBlock()
     )
   }
 

Original file line number	Diff line number	Diff line change
`@@ -46,7 +46,8 @@ module SemanticExprConfig {`
`46`	`46`	`(`
`47`	`47`	`i1 = i2`
`48`	`48`	`or`
`49`		`- i2 = safeConversion(i1.getAUse())`
	`49`	`+ i2 = safeConversion(i1.getAUse()) and`
	`50`	`+ i1.getBlock() = i2.getBlock()`
`50`	`51`	`)`
`51`	`52`	`}`
`52`	`53`