Go to the documentation of this file.
48 switch(instruction.
type)
54 for(
const auto &target : instruction.
targets)
64 for(
const auto &target : instruction.
targets)
94 DATA_INVARIANT(
false,
"Only complete instructions can be analyzed");
void build(const goto_programt &goto_program)
goto_program_instruction_typet type
What kind of instruction?
targetst targets
The list of successor instructions.
bool is_true() const
Return whether the expression is a constant representing true.
#define DATA_INVARIANT(CONDITION, REASON)
This condition should be used to document that assumptions that are made on goto_functions,...
instructionst instructions
The list of instructions in the goto program.
Deprecated expression utility functions.
A generic container class for the GOTO intermediate representation of one function.
instructionst::const_iterator const_targett
goto_programt::const_targett t
const exprt & get_condition() const
Get the condition of gotos, assume, assert.
This class represents an instruction in the GOTO intermediate representation.
API to expression classes.