14 #ifndef CPROVER_GOTO_INSTRUMENT_WMM_FENCE_H 15 #define CPROVER_GOTO_INSTRUMENT_WMM_FENCE_H 29 #endif // CPROVER_GOTO_INSTRUMENT_WMM_FENCE_H This class represents an instruction in the GOTO intermediate representation.
bool is_lwfence(const goto_programt::instructiont &instruction, const namespacet &ns)
bool is_fence(const goto_programt::instructiont &instruction, const namespacet &ns)