undefined_functions.cpp File Reference

#include "undefined_functions.h"
#include <ostream>
#include <util/invariant.h>
#include <goto-programs/goto_model.h>

Include dependency graph for undefined_functions.cpp:

Go to the source code of this file.

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

Detailed Description

Handling of functions without body

Definition in file undefined_functions.cpp.

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.