stack_depth.cpp File Reference

Stack depth checks. More...

#include "stack_depth.h"
#include <util/arith_tools.h>
#include <goto-programs/goto_model.h>
#include <linking/static_lifetime_init.h>

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_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.

stack_depth() [2/2]

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

Definition at line 83 of file stack_depth.cpp.