let
is_pointer_nonnull exp =
match
(type_of exp).ct_ty
with
Tpointer
_
->
true
|
_
->
false