Merge pull request #6085 from tautschnig/deprecate-malloc_object

Deprecate malloc_object

Author: kroening

src/util/pointer_predicates.h

@@ -24,6 +24,7 @@ DEPRECATED(SINCE(2021, 5, 6, "Use object_size instead"))
 exprt dynamic_size(const namespacet &);
 exprt pointer_offset(const exprt &pointer);
 exprt pointer_object(const exprt &pointer);
+DEPRECATED(SINCE(2021, 5, 6, "Unnecessary, remove any use"))
 exprt malloc_object(const exprt &pointer, const namespacet &);
 exprt object_size(const exprt &pointer);
 DEPRECATED(SINCE(2021, 5, 6, "Use is_dynamic_object_exprt instead"))