Go to the documentation of this file.
24 .base_name ==
"fence")
40 .base_name ==
"lwfence")
bool is_lwfence(const goto_programt::instructiont &instruction, const namespacet &ns)
const codet & get_code() const
Get the code represented by this instruction.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
bool is_fence(const goto_programt::instructiont &instruction, const namespacet &ns)
bool lookup(const irep_idt &name, const symbolt *&symbol) const override
See documentation for namespace_baset::lookup().
bool get_bool(const irep_namet &name) const
const code_function_callt & get_function_call() const
Get the function call for FUNCTION_CALL.
const symbol_exprt & to_symbol_expr(const exprt &expr)
Cast an exprt to a symbol_exprt.
Fences for instrumentation.
const irep_idt & get_statement() const
bool is_function_call() const
This class represents an instruction in the GOTO intermediate representation.