C++: Remove superfluous disjunct.

aschackmull · aschackmull · commit 409203c64839 · 2025-03-11T14:17:56.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll
@@ -908,11 +908,6 @@ private module SsaInput implements SsaImplCommon::InputSig<Location> {
     exists(UseImpl use | use.hasIndexInBlock(bb, i, v) |
       if use.isCertain() then certain = true else certain = false
     )
-    or
-    exists(GlobalUse global |
-      global.hasIndexInBlock(bb, i, v) and
-      certain = true
-    )
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -908,11 +908,6 @@ private module SsaInput implements SsaImplCommon::InputSig<Location> {`
`908`	`908`	`exists(UseImpl use \| use.hasIndexInBlock(bb, i, v) \|`
`909`	`909`	`if use.isCertain() then certain = true else certain = false`
`910`	`910`	`)`
`911`		`- or`
`912`		`- exists(GlobalUse global \|`
`913`		`- global.hasIndexInBlock(bb, i, v) and`
`914`		`- certain = true`
`915`		`- )`
`916`	`911`	`}`
`917`	`912`	`}`
`918`	`913`