C++: Ignore more instructions for dataflow.

MathiasVP · MathiasVP · commit 320b5ca01aa4 · 2022-11-21T21:39:19.000Z
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll
@@ -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
   )
 }
 

Original file line number	Diff line number	Diff line change
`@@ -28,7 +28,9 @@ predicate ignoreInstruction(Instruction instr) {`
`28`	`28`	`instr instanceof PhiInstruction or`
`29`	`29`	`instr instanceof ReadSideEffectInstruction or`
`30`	`30`	`instr instanceof ChiInstruction or`
`31`		`- instr instanceof InitializeIndirectionInstruction`
	`31`	`+ instr instanceof InitializeIndirectionInstruction or`
	`32`	`+ instr instanceof AliasedDefinitionInstruction or`
	`33`	`+ instr instanceof InitializeNonLocalInstruction`
`32`	`34`	`)`
`33`	`35`	`}`
`34`	`36`