goto_inline.cpp File Reference

#include <cassert>
#include <goto-programs/goto_inline.h>
#include <goto-programs/remove_no_op.h>
#include <langapi/language_util.h>
#include <util/expr/base_type.h>
#include <util/symtab/cprover_prefix.h>
#include <util/base/prefix.h>

Include dependency graph for goto_inline.cpp:

Functions
static bool	can_typecast_argument (const type2tc &formal, const type2tc &actual)
	Returns true if the formal parameter type and the actual argument type are compatible enough that inserting a typecast is safe (pointer-to-pointer, array-to-pointer with matching subtype, or numeric/bool to numeric/bool).
void	goto_inline (goto_functionst &goto_functions, optionst &options, const namespacet &ns, goto_programt &dest)
void	goto_inline (goto_functionst &goto_functions, optionst &options, const namespacet &ns)
void	goto_partial_inline (goto_functionst &goto_functions, optionst &options, const namespacet &ns, unsigned _smallfunc_limit)

Function Documentation

can_typecast_argument()

bool can_typecast_argument ( const type2tc & formal, const type2tc & actual )

static

Returns true if the formal parameter type and the actual argument type are compatible enough that inserting a typecast is safe (pointer-to-pointer, array-to-pointer with matching subtype, or numeric/bool to numeric/bool).

goto_inline() [1/2]

void goto_inline	(	goto_functionst &	goto_functions,
		optionst &	options,
		const namespacet &	ns )

goto_inline() [2/2]

void goto_inline	(	goto_functionst &	goto_functions,
		optionst &	options,
		const namespacet &	ns,
		goto_programt &	dest )

goto_partial_inline()

void goto_partial_inline	(	goto_functionst &	goto_functions,
		optionst &	options,
		const namespacet &	ns,
		unsigned	_smallfunc_limit )