remove_no_op.h File Reference

#include <goto-programs/goto_functions.h>

Include dependency graph for remove_no_op.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
bool	is_no_op (const goto_programt &, goto_programt::const_targett, bool ignore_labels=false)
bool	is_no_op_program (const goto_programt &p)
	True when every instruction of p is a no-op, i.e.
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 = false )

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/2]

void remove_no_op

(

goto_functionst &

goto_functions

)

remove_no_op() [2/2]

void remove_no_op

(

goto_programt &

goto_program

)