From 0316056f76ad55a1a4cf02adec22884669231112 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Sat, 7 May 2022 17:52:59 -0700 Subject: [PATCH] add convenience accessors to is_dynamic_object_exprt This commit adds two obvious convenience accessors to is_dynamic_object_exprt. --- src/util/pointer_expr.h | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/util/pointer_expr.h b/src/util/pointer_expr.h index 632a8fbc198..ae4527a4ce1 100644 --- a/src/util/pointer_expr.h +++ b/src/util/pointer_expr.h @@ -324,6 +324,16 @@ class is_dynamic_object_exprt : public unary_predicate_exprt : unary_predicate_exprt(ID_is_dynamic_object, op) { } + + exprt &address() + { + return op(); + } + + const exprt &address() const + { + return op(); + } }; template <>