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