Revert "C++: Don't generate dataflow nodes for instructions inside summarized callables."

This reverts commit fc39df28b0.
This commit is contained in:
Mathias Vorreiter Pedersen
2025-01-27 16:44:37 +00:00
parent 67a905141c
commit 98265dda7b

View File

@@ -41,9 +41,7 @@ predicate ignoreInstruction(Instruction instr) {
instr instanceof AliasedUseInstruction or
instr instanceof InitializeNonLocalInstruction or
instr instanceof ReturnIndirectionInstruction or
instr instanceof UninitializedGroupInstruction or
// We exclude instructions belonging to functions that have a summary.
instr.getEnclosingFunction() = any(SummarizedCallable sc).getUnderlyingCallable()
instr instanceof UninitializedGroupInstruction
)
}