cprover
|
Fences for instrumentation. More...
Go to the source code of this file.
Functions | |
bool | is_fence (const goto_programt::instructiont &instruction, const namespacet &ns) |
bool | is_lwfence (const goto_programt::instructiont &instruction, const namespacet &ns) |
Fences for instrumentation.
Definition in file fence.cpp.
bool is_fence | ( | const goto_programt::instructiont & | instruction, |
const namespacet & | ns | ||
) |
Definition at line 18 of file fence.cpp.
References code_function_callt::function(), namespacet::lookup(), and to_code_function_call().
Referenced by fence_user_def_insertert::contains_user_def(), cycles_visitort::po_edges(), instrumentert::cfg_visitort::visit_cfg_function(), and shared_bufferst::cfg_visitort::weak_memory().
bool is_lwfence | ( | const goto_programt::instructiont & | instruction, |
const namespacet & | ns | ||
) |
Definition at line 32 of file fence.cpp.
References code_function_callt::function(), namespacet::lookup(), and to_code_function_call().
Referenced by event_grapht::graph_explorert::backtrack(), instrumentert::cfg_visitort::visit_cfg_function(), and shared_bufferst::cfg_visitort::weak_memory().