Predicate definitelyNull
Holds if a simple data-flow analysis determines that e is definitely null.
Import path
import cpppredicate definitelyNull(Expr e)Holds if a simple data-flow analysis determines that e is definitely null.
import cpppredicate definitelyNull(Expr e)