45 if(statement==ID_block)
47 else if(statement==ID_label)
60 if(statement==ID_block)
62 else if(statement==ID_label)
75 if(statement==ID_block)
77 else if(statement==ID_label)
90 if(statement==ID_block)
92 else if(statement==ID_label)
105 for(
const auto &operand : extra_block.
operands())
118 op.add_source_location() =
loc;
const irep_idt & get_statement() const
const irep_idt & get_identifier() const
void copy_to_operands(const exprt &expr)
const irep_idt & get_identifier() const
void move_to_operands(exprt &expr)
codet & first_statement()
void add(const codet &code)
class code_blockt & make_block()
code_blockt create_fatal_assertion(const exprt &condition, const source_locationt &loc)
Create a fatal assertion, which checks a condition and then halts if it does not hold.
API to expression classes.
const irep_idt & get_identifier() const
void append(const code_blockt &extra_block)
Add all the codets from extra_block to the current code_blockt.
const symbol_exprt & to_symbol_expr(const exprt &expr)
Cast a generic exprt to a symbol_exprt.
bool has_operands() const
A non-fatal assertion, which checks a condition then permits execution to continue.
An assumption, which must hold in subsequent code.
void set_statement(const irep_idt &statement)
Base class for all expressions.
source_locationt & add_source_location()
const codet & to_code(const exprt &expr)
A statement in a programming language.