From 95cd31fce38b22cd58eaa0acd984e3d50e7bb3df Mon Sep 17 00:00:00 2001
From: Mathias Vorreiter Pedersen <mathiasvp@github.com>
Date: Tue, 19 Dec 2023 12:29:16 +0100
Subject: [PATCH] C++: Silence warnings.

---
 .../semmle/code/cpp/ir/dataflow/internal/DebugPrinting.qll   | 5 +++++
 .../code/cpp/ir/dataflow/internal/NormalNode0ToString.qll    | 5 +++++
 2 files changed, 10 insertions(+)

diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DebugPrinting.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DebugPrinting.qll
index c75603d0b92..7c2bf25aab5 100644
--- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DebugPrinting.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DebugPrinting.qll
@@ -9,6 +9,11 @@ private import Node0ToString
 private import DataFlowUtil
 
 private class DebugNode0ToString extends Node0ToString {
+  DebugNode0ToString() {
+    // Silence warning about `this` not being bound.
+    exists(this)
+  }
+
   override string instructionToString(Instruction i) { result = i.getDumpString() }
 
   override string operandToString(Operand op) {
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/NormalNode0ToString.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/NormalNode0ToString.qll
index e5d638750de..ef2681104cb 100644
--- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/NormalNode0ToString.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/NormalNode0ToString.qll
@@ -10,6 +10,11 @@ private import DataFlowUtil
 private import DataFlowPrivate
 
 private class NormalNode0ToString extends Node0ToString {
+  NormalNode0ToString() {
+    // Silence warning about `this` not being bound.
+    exists(this)
+  }
+
   override string instructionToString(Instruction i) {
     if i.(InitializeParameterInstruction).getIRVariable() instanceof IRThisVariable
     then result = "this"