25 #include "pips_config.h"
40 #include "constants.h"
52 #define MY_MAX_CHECK VALUE_CONST(100000000)
53 bool consistent =
true;
67 consistent = consistent && !SC_UNDEFINED_P(
region_system(reg));
68 pips_assert(
"the region system is defined", consistent);
73 pips_assert(
"the region system is consitent", consistent);
79 consistent = consistent && !
term_cst(t);
81 pips_assert(
"no TCST variable in the base", consistent);
94 pips_assert(
"no high coefficient for PHI variables in region system.\n",
99 c = sc_inegalites(sc);
106 pips_assert(
"no high coefficient for PHI variables in region system.\n",
118 bool consistent =
true;
bool effect_consistent_p(effect p)
#define region_system(reg)
#define region
simulation of the type region
bool region_consistent_p(region reg)
bool regions_consistent_p(list l_reg)
#define variable_phi_p(e)
true if e is a phi variable PHI entities have a name like: REGIONS:PHI#, where # is a number.
#define effect_descriptor(x)
#define descriptor_none_p(x)
#define MAP(_map_CASTER, _map_item, _map_code, _map_list)
Apply/map an instruction block on all the elements of a list (old fashioned)
#define pips_assert(what, predicate)
common macros, two flavors depending on NDEBUG
bool sc_weak_consistent_p(Psysteme sc)
check that sc is well defined, that the numbers of equalities and inequalities are consistent with th...
struct Scontrainte * succ
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
The structure used to build lists in NewGen.
#define BASE_UNDEFINED_P(b)