undefined_functions.h File Reference

Handling of functions without body. More...

#include <iosfwd>

Include dependency graph for undefined_functions.h:

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

Go to the source code of this file.

Functions
void	list_undefined_functions (const goto_modelt &, std::ostream &)
void	undefined_function_abort_path (goto_modelt &)

Detailed Description

Handling of functions without body.

Definition in file undefined_functions.h.

Function Documentation

list_undefined_functions()

void list_undefined_functions	(	const goto_modelt &	goto_model,
		std::ostream &	os
	)

Definition at line 22 of file undefined_functions.cpp.

undefined_function_abort_path()

void undefined_function_abort_path

(

goto_modelt &

goto_model

)

Definition at line 35 of file undefined_functions.cpp.