25 #include "pips_config.h"
38 #include "constants.h"
74 while((c=getopt(argc,argv,options))!=-1) {
117 int semantics_debug_level = atoi(
optarg);
120 if(semantics_debug_level<=0) errflg++;
122 semantics_debug_level);
134 if (argc -
optind < 2 || errflg != 0)
136 "usage: %s [-tcife[D nn]] program module [module ...]\n",
#define HYPERPLANE_OPTIONS
package hyperplane
#define user_error(fn,...)
int set_hyperplane_parameters(int argc, argv)
package hyperplane
#define PRETTYPRINT_TRANSFORMER
#define SEMANTICS_FIX_POINT
#define pips_flag_p(p)
for upwards compatibility with Francois's modified version
#define SEMANTICS_FLOW_SENSITIVE
#define SEMANTICS_DEBUG_LEVEL
#define SEMANTICS_INTERPROCEDURAL
#define PRETTYPRINT_EXECUTION_CONTEXT
#define SEMANTICS_INEQUALITY_INVARIANT
void set_bool_property(const char *, bool)
void set_int_property(const char *, int)