cprover
stack_depth.cpp File Reference

Stack depth checks. More...

+ Include dependency graph for stack_depth.cpp:

Go to the source code of this file.

Functions

symbol_exprt add_stack_depth_symbol (symbol_tablet &symbol_table)
 
void stack_depth (goto_programt &goto_program, const symbol_exprt &symbol, const std::size_t i_depth, const exprt &max_depth)
 
void stack_depth (goto_modelt &goto_model, const std::size_t depth)
 

Detailed Description

Stack depth checks.

Definition in file stack_depth.cpp.

Function Documentation

◆ add_stack_depth_symbol()

symbol_exprt add_stack_depth_symbol ( symbol_tablet symbol_table)

Definition at line 22 of file stack_depth.cpp.

◆ stack_depth() [1/2]

void stack_depth ( goto_modelt goto_model,
const std::size_t  depth 
)

Definition at line 77 of file stack_depth.cpp.

◆ stack_depth() [2/2]

void stack_depth ( goto_programt goto_program,
const symbol_exprt symbol,
const std::size_t  i_depth,
const exprt max_depth 
)

Definition at line 43 of file stack_depth.cpp.