Merge pull request #8665 from tautschnig/remove-is_null_pointer

Remove deprecated is_null_pointer

Author: kroening

src/util/expr.cpp

@@ -80,7 +80,7 @@ bool exprt::is_zero() const
     }
     else if(type_id==ID_pointer)
     {
-      return is_null_pointer(constant);
+      return constant.is_null_pointer();
     }
   }
 

src/util/expr_util.cpp

@@ -317,8 +317,3 @@ exprt make_and(exprt a, exprt b)
 {
   return conjunction(a, b);
 }
-
-bool is_null_pointer(const constant_exprt &expr)
-{
-  return expr.is_null_pointer();
-}

src/util/expr_util.h

@@ -112,10 +112,4 @@ constant_exprt make_boolean_expr(bool);
 DEPRECATED(SINCE(2025, 6, 25, "use conjunction(exprt, exprt) instead"))
 exprt make_and(exprt a, exprt b);
 
-/// Returns true if \p expr has a pointer type and a value NULL; it also returns
-/// true when \p expr has value zero and NULL_is_zero is true; returns false in
-/// all other cases.
-DEPRECATED(SINCE(2024, 9, 10, "use constant_exprt::is_null_pointer() instead"))
-bool is_null_pointer(const constant_exprt &expr);
-
 #endif // CPROVER_UTIL_EXPR_UTIL_H