26 .base_name ==
"fence")
44 .base_name ==
"lwfence")
const irep_idt & get_statement() const
bool is_function_call() const
bool get_bool(const irep_namet &name) const
bool is_fence(const goto_programt::instructiont &instruction, const namespacet &ns)
This class represents an instruction in the GOTO intermediate representation.
const symbol_exprt & to_symbol_expr(const exprt &expr)
Cast a generic exprt to a symbol_exprt.
Fences for instrumentation.
bool lookup(const irep_idt &name, const symbolt *&symbol) const override
See namespace_baset::lookup().
const code_function_callt & to_code_function_call(const codet &code)
bool is_lwfence(const goto_programt::instructiont &instruction, const namespacet &ns)