Predicate isBusyDef
Holds if def is a busy definition. That is, it has a large number of
overlapping uses.
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.AliasedSSApredicate isBusyDef(MemoryLocation0 def)Holds if def is a busy definition. That is, it has a large number of
overlapping uses.
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.AliasedSSApredicate isBusyDef(MemoryLocation0 def)