value_set_fivr.cpp File Reference

Value Set (Flow Insensitive, Sharing, Validity Regions) More...

#include "value_set_fivr.h"
#include <cassert>
#include <ostream>
#include <util/symbol_table.h>
#include <util/simplify_expr.h>
#include <util/base_type.h>
#include <util/std_expr.h>
#include <util/prefix.h>
#include <util/std_code.h>
#include <util/arith_tools.h>
#include <langapi/language_util.h>
#include <util/c_types.h>

Include dependency graph for value_set_fivr.cpp:

Go to the source code of this file.

Macros
#define	forall_objects(it, map)
#define	forall_valid_objects(it, map)
#define	Forall_objects(it, map)
#define	Forall_valid_objects(it, map)

Variables
static const char *	alloc_adapter_prefix ="alloc_adaptor::"

Detailed Description

Value Set (Flow Insensitive, Sharing, Validity Regions)

Definition in file value_set_fivr.cpp.

Macro Definition Documentation

forall_objects

#define forall_objects	(		it,
			map
	)

Value:

for(object_map_dt::const_iterator (it)=(map).begin(); \
  (it)!=(map).end(); \
  (it)++)

Definition at line 35 of file value_set_fivr.cpp.

Referenced by value_set_fivrt::assign_rec(), value_set_fivrt::do_free(), value_set_fivrt::flatten_rec(), value_set_fivrt::get_reference_set(), value_set_fivrt::get_reference_set_sharing(), value_set_fivrt::get_reference_set_sharing_rec(), value_set_fivrt::get_value_set(), value_set_fivrt::get_value_set_rec(), value_set_fivrt::make_union(), value_set_fivrt::output(), and value_set_fivrt::recursive_find().

Forall_objects

#define Forall_objects	(		it,
			map
	)

Value:

for(object_map_dt::iterator (it)=(map).begin(); \
  (it)!=(map).end(); \
  (it)++)

Definition at line 46 of file value_set_fivr.cpp.

Referenced by value_set_fivrt::flatten_rec().

forall_valid_objects

#define forall_valid_objects	(		it,
			map
	)

Value:

for(object_map_dt::const_iterator (it)=(map).begin(); \
  (it)!=(map).end(); \
  (it)++) \
    if((map).is_valid_at((it)->first, from_function, from_target_index))

Definition at line 40 of file value_set_fivr.cpp.

Referenced by value_set_fivrt::copy_objects(), value_set_fivrt::flatten_rec(), value_set_fivrt::get_reference_set_sharing_rec(), value_set_fivrt::get_value_set_rec(), and value_set_fivrt::make_valid_union().

Forall_valid_objects

#define Forall_valid_objects	(		it,
			map
	)

Value:

for(object_map_dt::iterator (it)=(map).begin(); \
      (it)!=(map).end(); \
      (it)++) \
    if((map).is_valid_at((it)->first, from_function, from_target_index)) /* NOLINT(*) */

Definition at line 51 of file value_set_fivr.cpp.

Referenced by value_set_fivrt::handover().

Variable Documentation

alloc_adapter_prefix

const char* alloc_adapter_prefix ="alloc_adaptor::"

static

Definition at line 33 of file value_set_fivr.cpp.

Referenced by value_set_fivrt::get_value_set_rec().