PIPS
|
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "genC.h"
#include "linear.h"
#include "ri.h"
#include "effects.h"
#include "database.h"
#include "ri-util.h"
#include "effects-util.h"
#include "constants.h"
#include "misc.h"
#include "text-util.h"
#include "text.h"
#include "effects-generic.h"
#include "effects-convex.h"
Go to the source code of this file.
Macros | |
#define | MY_MAX_CHECK VALUE_CONST(100000000) |
Functions | |
bool | region_consistent_p (region reg) |
bool | regions_consistent_p (list l_reg) |
#define MY_MAX_CHECK VALUE_CONST(100000000) |
FI->BC: it might be better to use descriptors even for regions linked to store and type declarations. Not much time to think about it now.
the system must be defined
check the Psysteme consistency
the TCST variable must not belong to the base
and there must be no high coefficient (or it should have raised an exception before
Definition at line 50 of file debug.c.
References BASE_UNDEFINED_P, descriptor_none_p, effect_consistent_p(), effect_descriptor, MY_MAX_CHECK, pips_assert, region_system, sc_weak_consistent_p(), Scontrainte::succ, Svecteur::succ, term_cst, value_lt, variable_phi_p, Scontrainte::vecteur, VECTEUR_NUL_P, vecteur_val, and vecteur_var.
Referenced by regions_consistent_p(), replace_indices_region(), replace_indices_region_com(), set_methods_for_convex_effects(), and set_methods_for_convex_rw_pointer_effects().
l_reg | _reg |
Definition at line 116 of file debug.c.
References EFFECT, MAP, and region_consistent_p().