Go to the documentation of this file.
26 .base_name ==
"fence")
44 .base_name ==
"lwfence")
bool is_lwfence(const goto_programt::instructiont &instruction, const namespacet &ns)
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
codet code
Do not read or modify directly – use get_X() instead.
const symbol_exprt & to_symbol_expr(const exprt &expr)
Cast an exprt to a symbol_exprt.
const code_function_callt & to_code_function_call(const codet &code)
Fences for instrumentation.
const irep_idt & get_statement() const
bool is_function_call() const
This class represents an instruction in the GOTO intermediate representation.