26 #include "pips_config.h"
169 if ( (value_of_1_p && !value_of_2_p) || (value_of_2_p && !value_of_1_p))
178 int n_first_first =
cell_compare(&c_first_1, &c_first_2);
180 if (n_first_first == 0)
182 int n_second_second =
cell_compare(&c_second_1, &c_second_2);
184 if (n_second_second != 0)
193 int n_first_second =
cell_compare(&c_first_1, &c_second_2);
194 if (n_first_second == 0)
196 int n_second_first =
cell_compare(&c_second_1, &c_first_2);
198 if (n_second_first != 0)
237 if ( (value_of_1_p && !value_of_2_p) || (value_of_2_p && !value_of_1_p))
246 int n_first_first =
cell_compare(&c_first_1, &c_first_2);
248 if (n_first_first == 0)
250 int n_second_second =
cell_compare(&c_second_1, &c_second_2);
252 if (n_second_second != 0)
266 int n_first_second =
cell_compare(&c_first_1, &c_second_2);
267 if (n_first_second == 0)
269 int n_second_first =
cell_compare(&c_second_1, &c_first_2);
271 if (n_second_first != 0)
cell make_cell_reference(reference _field_)
cell_relation make_cell_relation(interpreted_cell a1, interpreted_cell a2, approximation a3, descriptor a4)
interpreted_cell make_interpreted_cell(cell a1, cell_interpretation a2)
cell_interpretation make_cell_interpretation_value_of(void)
cell_interpretation make_cell_interpretation_address_of(void)
approximation make_approximation(enum approximation_utype tag, void *val)
value make_value_unknown(void)
type make_type_variable(variable _field_)
storage make_storage_rom(void)
type make_type_void(list _field_)
basic make_basic_pointer(type _field_)
reference make_reference(entity a1, list a2)
variable make_variable(basic a1, list a2, list a3)
bool entity_null_locations_p(entity e)
test if an entity is the NULL POINTER
entity entity_null_locations()
return TOP-LEVEL:NULL_POINTER The NULL pointer should be a global variable, unique for all modules FI...
int cell_compare(cell *c1, cell *c2)
#define UNDEFINED_POINTER_VALUE_NAME
#define cell_relation_second_cell(cr)
#define cell_relation_second_value_of_p(cr)
#define cell_relation_first_cell(cr)
reference cell_any_reference(cell)
API for reference.
#define cell_reference(x)
#define cell_relation_descriptor(x)
#define cell_preference(x)
#define cell_reference_p(x)
#define cell_relation_undefined
#define descriptor_none_p(x)
#define NIL
The empty list (nil in Lisp)
size_t gen_length(const list l)
#define pips_internal_error
#define MODULE_SEP_STRING
string concatenate(const char *,...)
Return the concatenation of the given strings.
#define same_string_p(s1, s2)
void * gen_find_tabulated(const char *, int)
cell_relation make_address_of_pointer_value(cell c1, cell c2, tag app_tag, descriptor d)
bool null_pointer_value_cell_p(cell c)
cell make_undefined_pointer_value_cell()
entity null_pointer_value_entity()
bool null_pointer_value_entity_p(entity e)
cell make_null_pointer_value_cell()
bool abstract_pointer_value_entity_p(entity e)
bool pv_cells_mergeable_p(cell_relation pv1, cell_relation pv2)
bool undefined_pointer_value_entity_p(entity e)
bool abstract_pointer_value_cell_p(cell c)
bool pv_cells_syntactically_equal_p(cell_relation pv1, cell_relation pv2)
bool undefined_pointer_value_cell_p(cell c)
cell_relation make_value_of_pointer_value(cell c1, cell c2, tag app_tag, descriptor d)
entity undefined_pointer_value_entity()
pointer_values.c
#define make_entity(n, t, s, i)
const char * entity_local_name(entity e)
entity_local_name modified so that it does not core when used in vect_fprint, since someone thought t...
const char * entity_module_name(entity e)
See comments about module_name().
#define reference_variable(x)
#define entity_undefined_p(x)
#define reference_indices(x)
#define preference_reference(x)
#define entity_domain
newgen_syntax_domain_defined