Loading...
Searching...
No Matches
offset_entryt Class Reference
#include <write_stack_entry.h>
+ Inheritance diagram for offset_entryt:
+ Collaboration diagram for offset_entryt:
Get the expression part needed to read this stack entry.
Try to combine a new stack element with the current top of the stack.
Detailed Description
Constructor & Destructor Documentation
◆ offset_entryt()
Member Function Documentation
◆ get_access_expr()
std::pair<
exprt,
bool > offset_entryt::get_access_expr
(
)
const
Get the expression part needed to read this stack entry.
For offset entries this is the offset for an index expression.
- Returns
- The offset expression to read this part of the stack and true
Implements write_stack_entryt.
Definition at line 61 of file write_stack_entry.cpp.
◆ try_squash_in()
Try to combine a new stack element with the current top of the stack.
This will succeed if they are both offsets as we can combine these offsets into the sum of the offsets
- Parameters
-
new_entry The new entry to combine with
enviroment The enviroment to evalaute things in
ns The global namespace
- Returns
- True if this stack entry and thew new entry were combined
Reimplemented from write_stack_entryt.
Definition at line 73 of file write_stack_entry.cpp.
Member Data Documentation
◆ offset
The documentation for this class was generated from the following files:
