C++: Added getAnExpr predicate to ValueNumber class

Author: MathiasVP

cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/ValueNumbering.qll

@@ -78,6 +78,10 @@ class ValueNumber extends TValueNumber {
     or
     this instanceof TUniqueValueNumber and result = "Unique"
   }
+
+  Expr getAnExpr() {
+    result = getAnInstruction().getUnconvertedResultExpression()
+  }
 }
 
 /**

cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingImports.qll

@@ -1,3 +1,4 @@
+import cpp
 import semmle.code.cpp.ir.implementation.aliased_ssa.IR
 import semmle.code.cpp.ir.internal.Overlap
 import semmle.code.cpp.ir.internal.IRCppLanguage as Language

cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/ValueNumbering.qll

@@ -66,6 +66,8 @@ class ValueNumber extends TValueNumber {
     or
     this instanceof TUniqueValueNumber and result = "Unique"
   }
+
+  Expr getAnExpr() { result = getAnInstruction().getUnconvertedResultExpression() }
 }
 
 /**

cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingImports.qll

@@ -1,3 +1,4 @@
+import cpp
 import semmle.code.cpp.ir.implementation.unaliased_ssa.IR
 import semmle.code.cpp.ir.internal.Overlap
 import semmle.code.cpp.ir.internal.IRCppLanguage as Language