cprover
value_set_fivr.cpp File Reference
#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.

◆ 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.

◆ 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.

◆ 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.

Variable Documentation

◆ alloc_adapter_prefix

const char* alloc_adapter_prefix ="alloc_adaptor::"
static

Definition at line 33 of file value_set_fivr.cpp.