cprover
|
Stack depth checks. More...
Go to the source code of this file.
Functions | |
void | stack_depth (goto_modelt &, const int depth) |
Stack depth checks.
Definition in file stack_depth.h.
void stack_depth | ( | goto_modelt & | , |
const int | depth | ||
) |
Definition at line 83 of file stack_depth.cpp.
References add_stack_depth_symbol(), DATA_INVARIANT, goto_functionst::entry_point(), Forall_goto_functions, from_integer(), goto_functionst::function_map, goto_modelt::goto_functions, INITIALIZE_FUNCTION, goto_programt::instructions, stack_depth(), goto_modelt::symbol_table, exprt::type(), and goto_functionst::update().