Predicate Cached :: hasPhiInstructionCached
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.SSAConstruction
predicate
hasPhiInstructionCached
(
OldInstruction
blockStartInstr
,
MemoryLocation
defLocation
)