fence.h File Reference

#include <goto-programs/goto_program.h>

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()

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.