From 69e085dda720c0edea500a57e45c939dc12d5af7 Mon Sep 17 00:00:00 2001
From: Mathias Vorreiter Pedersen <mathiasvp@github.com>
Date: Wed, 5 Feb 2020 12:24:58 +0100
Subject: [PATCH] C++: Add getDebugString predicate and use it in
 ValueNumberPropertyProvider

---
 cpp/ql/src/semmle/code/cpp/ir/internal/ASTValueNumbering.qll | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/cpp/ql/src/semmle/code/cpp/ir/internal/ASTValueNumbering.qll b/cpp/ql/src/semmle/code/cpp/ir/internal/ASTValueNumbering.qll
index 99b70ffaf36..9628fe3fdda 100644
--- a/cpp/ql/src/semmle/code/cpp/ir/internal/ASTValueNumbering.qll
+++ b/cpp/ql/src/semmle/code/cpp/ir/internal/ASTValueNumbering.qll
@@ -61,6 +61,8 @@ class GVN extends TValueNumber {
 
   final string toString() { result = "GVN" }
 
+  final string getDebugString() { result = strictconcat(getAnExpr().toString(), ", ") }
+
   final Location getLocation() {
     result =
       min(Location l |