Predicate nullValue

Holds if val is a null literal or a call to a function that may return a null literal.

Import path

import cpp

predicate nullValue(Expr val)