cprover
|
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>
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::" |
Value Set (Flow Insensitive, Sharing, Validity Regions)
Definition in file value_set_fivr.cpp.
#define forall_objects | ( | it, | |
map | |||
) |
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().
#define Forall_objects | ( | it, | |
map | |||
) |
Definition at line 46 of file value_set_fivr.cpp.
Referenced by value_set_fivrt::flatten_rec().
#define forall_valid_objects | ( | it, | |
map | |||
) |
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().
#define Forall_valid_objects | ( | it, | |
map | |||
) |
Definition at line 51 of file value_set_fivr.cpp.
Referenced by value_set_fivrt::handover().
|
static |
Definition at line 33 of file value_set_fivr.cpp.
Referenced by value_set_fivrt::get_value_set_rec().