value_set_fivrns.cpp File Reference

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

#include "value_set_fivrns.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_fivrns.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, Validity Regions)

Definition in file value_set_fivrns.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_fivrns.cpp.

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

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

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

Variable Documentation

alloc_adapter_prefix

const char* alloc_adapter_prefix ="alloc_adaptor::"

static

Definition at line 33 of file value_set_fivrns.cpp.