Merge pull request github#3620 from MathiasVP/fix-missing-case-in-getkind

C++: Fix missing case in ValueNumber::getKind

Author: Dave Bartolomeo

cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_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"

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"