cprover
|
Stack depth checks. More...
Go to the source code of this file.
Functions | |
void | stack_depth (symbol_tablet &symbol_table, goto_functionst &goto_functions, const int depth) |
Stack depth checks.
Definition in file stack_depth.h.
void stack_depth | ( | symbol_tablet & | symbol_table, |
goto_functionst & | goto_functions, | ||
const int | depth | ||
) |
Definition at line 85 of file stack_depth.cpp.
References add_stack_depth_symbol(), CPROVER_PREFIX, goto_functions_templatet< goto_programt >::entry_point(), Forall_goto_functions, from_integer(), goto_functions_templatet< bodyT >::function_map, stack_depth(), exprt::type(), and goto_functions_templatet< bodyT >::update().