C++: Sync identical files

Author: MathiasVP

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

@@ -58,6 +58,8 @@ class ValueNumber extends TValueNumber {
     or
     this instanceof TInitializeThisValueNumber and result = "InitializeThis"
     or
+    this instanceof TConstantValueNumber and result = "Constant"
+    or
     this instanceof TStringConstantValueNumber and result = "StringConstant"
     or
     this instanceof TFieldAddressValueNumber and result = "FieldAddress"

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

@@ -58,6 +58,8 @@ class ValueNumber extends TValueNumber {
     or
     this instanceof TInitializeThisValueNumber and result = "InitializeThis"
     or
+    this instanceof TConstantValueNumber and result = "Constant"
+    or
     this instanceof TStringConstantValueNumber and result = "StringConstant"
     or
     this instanceof TFieldAddressValueNumber and result = "FieldAddress"

csharp/ql/src/semmle/code/csharp/ir/implementation/raw/gvn/ValueNumbering.qll

@@ -58,6 +58,8 @@ class ValueNumber extends TValueNumber {
     or
     this instanceof TInitializeThisValueNumber and result = "InitializeThis"
     or
+    this instanceof TConstantValueNumber and result = "Constant"
+    or
     this instanceof TStringConstantValueNumber and result = "StringConstant"
     or
     this instanceof TFieldAddressValueNumber and result = "FieldAddress"

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

@@ -58,6 +58,8 @@ class ValueNumber extends TValueNumber {
     or
     this instanceof TInitializeThisValueNumber and result = "InitializeThis"
     or
+    this instanceof TConstantValueNumber and result = "Constant"
+    or
     this instanceof TStringConstantValueNumber and result = "StringConstant"
     or
     this instanceof TFieldAddressValueNumber and result = "FieldAddress"