C++: Remove superfluous disjunct.

2025-12-16 16:53:25 +01:00 · 2025-03-11 14:17:20 +01:00
parent ecb5e7ad07
commit ba13d7fffe
1 changed files with 0 additions and 5 deletions
--- 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
-    )
  }
 }