Predicate Cached::hasIncompleteSsa
Holds if the def-use information for f may have been omitted because it
was too expensive to compute. This happens if one of the memory allocations
in f is a busy definition (i.e., it has many different overlapping uses).
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.SSAConstructionpredicate hasIncompleteSsa(IRFunction f)