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