stack_depth.h File Reference

#include <cstddef>

Include dependency graph for stack_depth.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
void	stack_depth (goto_modelt &goto_model, const std::size_t depth, message_handlert &message_handler)
	Add assertions to all user-defined functions in goto_model that the call stack depth does not exceed depth. More...

Detailed Description

Stack depth checks

Definition in file stack_depth.h.

Function Documentation

stack_depth()

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

Add assertions to all user-defined functions in goto_model that the call stack depth does not exceed depth.

Warnings are reported via message_handler.

Definition at line 95 of file stack_depth.cpp.