hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Add TConstantValueNumber case to ValueNumber::getKind

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2020-06-04 11:31:02 +02:00
parent 70131e6ac8
commit 36cfe3624b
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -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"