14 #ifndef CPROVER_GOTO_INSTRUMENT_WMM_FENCE_H 15 #define CPROVER_GOTO_INSTRUMENT_WMM_FENCE_H 22 const goto_programt::instructiont &instruction,
26 const goto_programt::instructiont &instruction,
29 #endif // CPROVER_GOTO_INSTRUMENT_WMM_FENCE_H
bool is_lwfence(const goto_programt::instructiont &instruction, const namespacet &ns)
bool is_fence(const goto_programt::instructiont &instruction, const namespacet &ns)