43 if(i_it->is_function_call())
61 for(std::size_t nr=0; nr<code_type.
parameters().size(); nr++)
65 if(p_identifier.
empty())
72 t->source_location=i_it->source_location;
79 t->function=i_it->function;
86 for(; count!=0; count--) i_it++;
void insert_before_swap(targett target)
Insertion that preserves jumps to "target".
void parameter_assignments(symbol_tablet &symbol_table, goto_functionst &goto_functions)
removes returns
void operator()(goto_functionst &goto_functions)
const code_typet & to_code_type(const typet &type)
Cast a typet to a code_typet.
typet & type()
Return the type of the expression.
symbol_tablet symbol_table
Symbol table.
const irep_idt & id() const
class symbol_exprt symbol_expr() const
Produces a symbol_exprt for a symbol.
instructionst::iterator targett
void do_function_calls(goto_programt &goto_program)
turns x=f(...) into f(...); lhs=f::return_value;
instructionst instructions
The list of instructions in the goto program.
API to expression classes.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
#define PRECONDITION(CONDITION)
codet representation of a function call statement.
A collection of goto functions.
const symbol_exprt & to_symbol_expr(const exprt &expr)
Cast an exprt to a symbol_exprt.
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
A generic container class for the GOTO intermediate representation of one function.
typet type
Type of symbol.
targett add_instruction()
Adds an instruction at the end.
Base class for all expressions.
const parameterst & parameters() const
symbol_tablet & symbol_table
#define Forall_goto_functions(it, functions)
#define Forall_goto_program_instructions(it, program)
Expression to hold a symbol (variable)
parameter_assignmentst(symbol_tablet &_symbol_table)
Add parameter assignments.
void make_typecast(const typet &_type)
Create a typecast_exprt to the given type.
goto_functionst goto_functions
GOTO functions.
bool lookup(const irep_idt &name, const symbolt *&symbol) const override
See documentation for namespace_baset::lookup().
A codet representing an assignment in the program.
const code_function_callt & to_code_function_call(const codet &code)