cprover
fence.cpp File Reference

Fences for instrumentation. More...

#include "fence.h"
#include <util/namespace.h>
Include dependency graph for fence.cpp:

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.cpp.

Function Documentation

§ is_fence()

§ is_lwfence()

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