From 5b51fcbd3d0b8226f0007151753b2ccfd7a6cc5f Mon Sep 17 00:00:00 2001
From: Mathias Vorreiter Pedersen <mathiasvp@github.com>
Date: Fri, 26 Aug 2022 09:07:08 +0100
Subject: [PATCH] C++: Suppress Code Scanning warning.

---
 .../aliased_ssa/gvn/internal/ValueNumberingInternal.qll          | 1 +
 1 file changed, 1 insertion(+)

diff --git 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
index d8862dcaa07..fce87447110 100644
--- 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 |