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