12#ifndef CPROVER_GOTO_PROGRAMS_REMOVE_SKIP_H
13#define CPROVER_GOTO_PROGRAMS_REMOVE_SKIP_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
A collection of goto functions.
A generic container class for the GOTO intermediate representation of one function.
instructionst::iterator targett
instructionst::const_iterator const_targett
bool is_skip(const goto_programt &, goto_programt::const_targett, bool ignore_labels=false)
Determine whether the instruction is semantically equivalent to a skip (no-op).
void remove_skip(goto_programt &)
remove unnecessary skip statements