Predicate isLastInstructionForUninitializedGroups
Holds if instruction is the last instruction in the chain of UninitializedGroup
instructions in func. The chain of instructions may be empty in which case
instruction satisfies
isFirstInstructionBeforeUninitializedGroup(instruction, func)
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.SSAConstructionpredicate isLastInstructionForUninitializedGroups(Instruction instruction, IRFunction func)