Predicate callMayReturnNull
Holds if call may, directly or indirectly, evaluate to a null literal.
Import path
import cpppredicate callMayReturnNull(Call call)Holds if call may, directly or indirectly, evaluate to a null literal.
import cpppredicate callMayReturnNull(Call call)