cprover
fence.h File Reference

Fences for instrumentation. More...

Include dependency graph for fence.h:
This graph shows which files directly or indirectly include this file:

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)
 

Detailed Description

Fences for instrumentation.

Definition in file fence.h.

Function Documentation

§ is_fence()

§ is_lwfence()

bool is_lwfence ( const goto_programt::instructiont &  instruction,
const namespacet ns 
)