PIPS
|
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <ctype.h>
#include "linear.h"
#include "genC.h"
#include "misc.h"
#include "ri.h"
#include "properties.h"
#include "ri-util.h"
#include "prettyprint.h"
Go to the source code of this file.
Functions | |
static bool | comparable_entity_in_list_p (entity common, entity v, list l) |
Functions closely related to the entity class, constructors, predicates,... More... | |
bool | check_common_inclusion (entity common) |
check whether a common declaration can be simply included, that is it is declared with the same names, orders and types in all instances. More... | |
check whether a common declaration can be simply included, that is it is declared with the same names, orders and types in all instances.
area.c
of entity
empty common!
take the first function as the reference for the check.
SAME name, type, offset
common | ommon |
Definition at line 107 of file area.c.
References area_layout, CAR, common_members_of_module(), comparable_entity_in_list_p(), ENTITY, entity_area_p(), entity_storage, entity_type, gen_free_list(), ok, pips_assert, POP, ram_function, ref, storage_ram, and type_area.
Referenced by text_area_included().
Functions closely related to the entity class, constructors, predicates,...
returns true if l contains an entity with same type, local name and offset.
first find an entity with the same NAME.
same OFFSET?
same TYPE?
SG we cannot rely on same_type_p or type_equal_p because we want a syntactic comparison, there used to be a hack in expression_equal_p to handle this particular case, I prefer to have the hack right here
temporary for CA
Definition at line 46 of file area.c.
References ENTITY, entity_local_name(), entity_name, entity_storage, entity_type, entity_undefined, entity_undefined_p, MAP, ok, pips_assert, pips_debug, ram_offset, ref, same_string_p, same_type_name_p(), storage_ram, and storage_ram_p.
Referenced by check_common_inclusion().