C++: Ignore the new 'InitializeGroup' instruction in dataflow.

MathiasVP · MathiasVP · commit b954845318fa · 2024-07-04T14:22:06.000+01:00
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
@@ -40,7 +40,8 @@ predicate ignoreInstruction(Instruction instr) {
     instr instanceof AliasedDefinitionInstruction or
     instr instanceof AliasedUseInstruction or
     instr instanceof InitializeNonLocalInstruction or
-    instr instanceof ReturnIndirectionInstruction
+    instr instanceof ReturnIndirectionInstruction or
+    instr instanceof InitializeGroupInstruction
   )
 }
 

Original file line number	Diff line number	Diff line change
`@@ -40,7 +40,8 @@ predicate ignoreInstruction(Instruction instr) {`
`40`	`40`	`instr instanceof AliasedDefinitionInstruction or`
`41`	`41`	`instr instanceof AliasedUseInstruction or`
`42`	`42`	`instr instanceof InitializeNonLocalInstruction or`
`43`		`- instr instanceof ReturnIndirectionInstruction`
	`43`	`+ instr instanceof ReturnIndirectionInstruction or`
	`44`	`+ instr instanceof InitializeGroupInstruction`
`44`	`45`	`)`
`45`	`46`	`}`
`46`	`47`