Skip to content

Commit 0316056

Browse files
committed
add convenience accessors to is_dynamic_object_exprt
This commit adds two obvious convenience accessors to is_dynamic_object_exprt.
1 parent 62f1d5a commit 0316056

File tree

1 file changed

+10
-0
lines changed

1 file changed

+10
-0
lines changed

src/util/pointer_expr.h

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -324,6 +324,16 @@ class is_dynamic_object_exprt : public unary_predicate_exprt
324324
: unary_predicate_exprt(ID_is_dynamic_object, op)
325325
{
326326
}
327+
328+
exprt &address()
329+
{
330+
return op();
331+
}
332+
333+
const exprt &address() const
334+
{
335+
return op();
336+
}
327337
};
328338

329339
template <>

0 commit comments

Comments
 (0)