26 #define ONE_TRIP_DO "ONE_TRIP_DO"
28 #define PRETTYPRINT_TRANSFORMER "PRETTYPRINT_TRANSFORMER"
29 #define PRETTYPRINT_EXECUTION_CONTEXT "PRETTYPRINT_EXECUTION_CONTEXT"
30 #define PRETTYPRINT_EFFECTS "PRETTYPRINT_EFFECTS"
31 #define PRETTYPRINT_PARALLEL "PRETTYPRINT_PARALLEL"
32 #define PRETTYPRINT_REVERSE_DOALL "PRETTYPRINT_REVERSE_DOALL"
33 #define PRETTYPRINT_REGION "PRETTYPRINT_REGION"
35 #define SEMANTICS_FLOW_SENSITIVE "SEMANTICS_FLOW_SENSITIVE"
36 #define SEMANTICS_INTERPROCEDURAL "SEMANTICS_INTERPROCEDURAL"
37 #define SEMANTICS_INEQUALITY_INVARIANT "SEMANTICS_INEQUALITY_INVARIANT"
38 #define SEMANTICS_FIX_POINT "SEMANTICS_FIX_POINT"
39 #define SEMANTICS_DEBUG_LEVEL "SEMANTICS_DEBUG_LEVEL"
40 #define SEMANTICS_STDOUT "SEMANTICS_STDOUT"
42 #define PARALLELIZE_USE_EXECUTION_CONTEXT "PARALLELIZE_USE_EXECUTION_CONTEXT"
44 #define DEPENDENCE_TEST "DEPENDENCE_TEST"
45 #define RICEDG_PROVIDE_STATISTICS "RICEDG_PROVIDE_STATISTICS"
48 #define pips_flag_p(p) get_bool_property(p)
49 #define pips_flag_set(p) set_bool_property((p), true)
50 #define pips_flag_reset(p) set_bool_property((p), false)
51 #define pips_flag_fprint(fd) fprint_properties(fd)
bool too_many_property_errors_pending_p(void)
void reset_property_error(void)