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

C++: Ignore more instructions for dataflow.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2022-11-21 21:39:19 +00:00
parent 7658df9ebd
commit 320b5ca01a
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll
View File

@@ -28,7 +28,9 @@ predicate ignoreInstruction(Instruction instr) {
instr instanceof PhiInstruction or
instr instanceof ReadSideEffectInstruction or
instr instanceof ChiInstruction or
instr instanceof InitializeIndirectionInstruction
instr instanceof InitializeIndirectionInstruction or
instr instanceof AliasedDefinitionInstruction or
instr instanceof InitializeNonLocalInstruction
)
}