docs/api/remove__no__op_8h_source.html

#ifndef CPROVER_GOTO_PROGRAMS_REMOVE_NO_OP_H

#define CPROVER_GOTO_PROGRAMS_REMOVE_NO_OP_H


#include <goto-programs/goto_functions.h>


bool is_no_op(

  const goto_programt &,

  goto_programt::const_targett,

  bool ignore_labels = false);

bool is_no_op_program(const goto_programt &p);

void remove_no_op(goto_programt &goto_program);

void remove_no_op(goto_functionst &goto_functions);


#endif

goto_functionst
Definition goto_functions.h:56

goto_programt
A generic container class for a control flow graph for one function, in the form of a goto-program.
Definition goto_program.h:63

goto_programt::const_targett
instructionst::const_iterator const_targett
Definition goto_program.h:591

goto_functions.h

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.
Definition remove_no_op.cpp:13

remove_no_op
void remove_no_op(goto_programt &goto_program)
Definition remove_no_op.cpp:185

is_no_op
bool is_no_op(const goto_programt &, goto_programt::const_targett, bool ignore_labels=false)
Definition remove_no_op.cpp:22