fence.cpp File Reference

Fences for instrumentation. More...

#include "fence.h"
#include <util/namespace.h>
#include <util/symbol.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()

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

Definition at line 19 of file fence.cpp.

is_lwfence()

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

Definition at line 35 of file fence.cpp.