19 const goto_programt::instructiont &instruction,
22 return (instruction.is_function_call() && ns.
lookup(
25 || (instruction.is_other() && instruction.code.get_statement()==ID_fence
26 && instruction.code.get_bool(ID_WWfence)
27 && instruction.code.get_bool(ID_WRfence)
28 && instruction.code.get_bool(ID_RWfence)
29 && instruction.code.get_bool(ID_RRfence));
33 const goto_programt::instructiont &instruction,
36 return (instruction.is_function_call() && ns.
lookup(
39 || (instruction.is_other() && instruction.code.get_statement()==ID_fence
40 && instruction.code.get_bool(ID_WWfence)
41 && instruction.code.get_bool(ID_RWfence)
42 && instruction.code.get_bool(ID_RRfence));
virtual bool lookup(const irep_idt &name, const symbolt *&symbol) const
bool is_fence(const goto_programt::instructiont &instruction, const namespacet &ns)
Fences for instrumentation.
const code_function_callt & to_code_function_call(const codet &code)
bool is_lwfence(const goto_programt::instructiont &instruction, const namespacet &ns)