Predicate canReuseSsaForOldResult
Holds if the def/use information for the result of instr can be reused from the previous
iteration of the IR.
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.AliasedSSApredicate canReuseSsaForOldResult(Instruction instr)