C++: Add getDebugString predicate and use it in ValueNumberPropertyProvider

2025-12-24 04:36:35 +01:00 · 2020-02-05 12:24:58 +01:00
parent ef89e3bdb5
commit 69e085dda7
1 changed files with 2 additions and 0 deletions
--- 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 |