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

C++: Sync identical files

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2020-06-04 11:31:32 +02:00
parent 36cfe3624b
commit 7328429ef1
4 changed files with 8 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/raw/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"

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