virtual bool try_squash_in(std::shared_ptr< const write_stack_entryt > new_entry, const abstract_environmentt &enviroment, const namespacet &ns)
Try to combine a new stack element with the current top of the stack.
void adjust_access_type(exprt &expr) const override
For a simple entry, no type adjustment is needed for the access expression.
abstract_object_pointert offset
simple_entryt(exprt expr)
Build a simple entry based off a single expression.
bool try_squash_in(std::shared_ptr< const write_stack_entryt > new_entry, const abstract_environmentt &enviroment, const namespacet &ns) override
Try to combine a new stack element with the current top of the stack.
void adjust_access_type(exprt &expr) const override
For an offset entry, the type of the access expression can only be determined once the access express...
offset_entryt(abstract_object_pointert offset_value)
exprt get_access_expr() const override
Get the expression part needed to read this stack entry.
exprt get_access_expr() const override
Get the expression part needed to read this stack entry.
Represents an entry in the write_stackt.