From 1f0d7b3e73313866c2f1776938a84a13add1d9e6 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Thu, 6 May 2021 11:10:45 +0000 Subject: [PATCH] Deprecate dynamic_object pointer predicate There is is_dynamic_object_exprt that accomplishes the same. --- src/util/pointer_predicates.cpp | 3 +-- src/util/pointer_predicates.h | 1 + 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/util/pointer_predicates.cpp b/src/util/pointer_predicates.cpp index 47c4f3762ff..a78c48f7712 100644 --- a/src/util/pointer_predicates.cpp +++ b/src/util/pointer_predicates.cpp @@ -91,8 +91,7 @@ exprt good_pointer_def( const auto size_of_expr_opt = size_of_expr(dereference_type, ns); CHECK_RETURN(size_of_expr_opt.has_value()); - const or_exprt good_dynamic( - not_exprt(dynamic_object(pointer)), not_exprt(deallocated(pointer, ns))); + const exprt good_dynamic = not_exprt{deallocated(pointer, ns)}; const not_exprt not_null(null_pointer(pointer)); diff --git a/src/util/pointer_predicates.h b/src/util/pointer_predicates.h index 82513a58cf4..5d863fc54a5 100644 --- a/src/util/pointer_predicates.h +++ b/src/util/pointer_predicates.h @@ -26,6 +26,7 @@ exprt pointer_offset(const exprt &pointer); exprt pointer_object(const exprt &pointer); 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")) exprt dynamic_object(const exprt &pointer); exprt good_pointer(const exprt &pointer); exprt good_pointer_def(const exprt &pointer, const namespacet &);