remove_no_op.cpp File Reference

#include <goto-programs/remove_no_op.h>

Include dependency graph for remove_no_op.cpp:

Functions
bool	is_no_op_program (const goto_programt &p)
	True when every instruction of p is a no-op, i.e.
bool	is_no_op (const goto_programt &body, goto_programt::const_targett it, bool ignore_labels)
void	remove_no_op (goto_programt &goto_program, goto_programt::targett begin, goto_programt::targett end)
void	remove_no_op (goto_programt &goto_program)
void	remove_no_op (goto_functionst &goto_functions)

Function Documentation

is_no_op()

bool is_no_op	(	const goto_programt &	body,
		goto_programt::const_targett	it,
		bool	ignore_labels )

is_no_op_program()

bool is_no_op_program

(

const goto_programt &

p

)

True when every instruction of p is a no-op, i.e.

the program is observationally empty. generate_ifthenelse and the native if-arm both branch on this, so they must agree on it.

remove_no_op() [1/3]

void remove_no_op

(

goto_functionst &

goto_functions

)

remove_no_op() [2/3]

void remove_no_op

(

goto_programt &

goto_program

)

remove_no_op() [3/3]

void remove_no_op	(	goto_programt &	goto_program,
		goto_programt::targett	begin,
		goto_programt::targett	end )