rw_set.cpp File Reference

#include <goto-programs/rw_set.h>
#include <pointer-analysis/goto_program_dereference.h>
#include <util/arith/arith_tools.h>
#include <util/expr/expr_util.h>
#include <util/symtab/namespace.h>
#include <util/irep/std_expr.h>
#include <unordered_set>

Include dependency graph for rw_set.cpp:

Functions
static bool	is_untracked_global (const irep_idt &name)
static const symbolt *	root_object_symbol (const expr2tc &e, const namespacet &ns)
static bool	accesses_atomic_object (const expr2tc &access, const namespacet &ns)
static std::vector< expr2tc >	ieee_value_operands (const expr2tc &expr)

Function Documentation

accesses_atomic_object()

bool accesses_atomic_object ( const expr2tc & access, const namespacet & ns )

static

ieee_value_operands()

std::vector< expr2tc > ieee_value_operands ( const expr2tc & expr )

static

is_untracked_global()

bool is_untracked_global ( const irep_idt & name )

static

root_object_symbol()

const symbolt * root_object_symbol ( const expr2tc & e, const namespacet & ns )

static