#include "goto_program.h"
#include "validate_code.h"
#include <iomanip>
#include <util/expr_iterator.h>
#include <util/find_symbols.h>
#include <util/format_expr.h>
#include <util/format_type.h>
#include <util/invariant.h>
#include <util/pointer_expr.h>
#include <util/std_code.h>
#include <util/std_expr.h>
#include <util/symbol_table.h>
#include <util/validate.h>
#include <langapi/language_util.h>

Include dependency graph for goto_program.cpp:

Functions
void	parse_lhs_read (const exprt &src, std::list< exprt > &dest)

std::list< exprt >	expressions_read (const goto_programt::instructiont &instruction)

std::list< exprt >	expressions_written (const goto_programt::instructiont &instruction)

void	objects_read (const exprt &src, std::list< exprt > &dest)

std::list< exprt >	objects_read (const goto_programt::instructiont &instruction)

void	objects_written (const exprt &src, std::list< exprt > &dest)

std::list< exprt >	objects_written (const goto_programt::instructiont &instruction)

std::string	as_string (const class namespacet &ns, const irep_idt &function, const goto_programt::instructiont &i)

std::ostream &	operator<< (std::ostream &out, goto_program_instruction_typet t)
	Outputs a string representation of a `goto_program_instruction_typet` More...

Detailed Description

Program Transformation

Definition in file goto_program.cpp.

Function Documentation

◆ as_string()

std::string as_string	(	const class namespacet &	ns,
		const irep_idt &	function,
		const goto_programt::instructiont &	i
	)

Definition at line 513 of file goto_program.cpp.

◆ expressions_read()

std::list<exprt> expressions_read ( const goto_programt::instructiont & instruction )

Definition at line 360 of file goto_program.cpp.

◆ expressions_written()

std::list<exprt> expressions_written ( const goto_programt::instructiont & instruction )

Definition at line 409 of file goto_program.cpp.

◆ objects_read() [1/2]

void objects_read	(	const exprt &	src,
		std::list< exprt > &	dest
	)

Definition at line 449 of file goto_program.cpp.

◆ objects_read() [2/2]

std::list<exprt> objects_read ( const goto_programt::instructiont & instruction )

Definition at line 473 of file goto_program.cpp.

◆ objects_written() [1/2]

void objects_written	(	const exprt &	src,
		std::list< exprt > &	dest
	)

Definition at line 486 of file goto_program.cpp.

◆ objects_written() [2/2]

std::list<exprt> objects_written ( const goto_programt::instructiont & instruction )

Definition at line 500 of file goto_program.cpp.

◆ operator<<()

std::ostream& operator<<	(	std::ostream &	out,
		goto_program_instruction_typet	t
	)

Outputs a string representation of a goto_program_instruction_typet

Definition at line 1170 of file goto_program.cpp.

◆ parse_lhs_read()

void parse_lhs_read	(	const exprt &	src,
		std::list< exprt > &	dest
	)

Definition at line 335 of file goto_program.cpp.

Functions