C++: Suppress Code Scanning warning.

2026-07-06 12:05:31 +02:00 · 2022-08-26 09:07:08 +01:00
parent e13ae70eeb
commit 5b51fcbd3d
1 changed files with 1 additions and 0 deletions
--- a/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingInternal.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingInternal.qll
@@ -83,6 +83,7 @@ private predicate callValueNumber(
 private predicate callPartialValueNumber(
  NumberableCallInstruction call, int index, TCallPartialValueNumber head
 ) {
+  exists(call) and
  index = 1 and head = TNilArgument()
  or
  exists(TCallPartialValueNumber prev, TValueNumber prevVN |