26 #define TRACE_SHOW_PROC 1
28 #define TRACE_SHOW_LINENO 2
30 #define TRACE_SHOW_LINE 4
33 #define TRACE_SHOW_RINGS 8
35 #define TRACE_SHOW_LINE1 16
37 #define TRACE_BREAKPOINT 32
39 #define TRACE_TMP_BREAKPOINT 64
41 #define TRACE_CALL 128
43 #define TRACE_ASSIGN 256
45 #define TRACE_CONV 512
47 #define TRACE_PROFILING 1024
55 #define mflush() fflush(stdout)
63 void WarnS(
const char *s);
69 void PrintS(
const char* s);
85 void Warn(
const char *fmt, ...);
87 const char *
eati(
const char *
s,
int *
i);
110 #define dReportBug(s) \
111 dReportError("Bug reported: %s\n occured at %s,%d\n", s, __FILE__, __LINE__)
122 #define assume(x) do {} while (0)
123 #define r_assume(x) do {} while (0)
126 #define assume_violation(s,f,l) \
127 dReportError("assume violation at %s:%d condition: %s", f,l,s)
129 #define assume(x) _assume(x, __FILE__, __LINE__)
130 #define r_assume(x) _r_assume(x, __FILE__, __LINE__)
132 #define _assume(x, f, l) \
137 assume_violation(#x, f, l); \
142 #define _r_assume(x, f, l) \
147 assume_violation(#x, f, l); \
const CanonicalForm int s
void void WerrorS_batch(const char *s)
const char feNotImplemented[]
void StringSetS(const char *s)
const CanonicalForm CFMap CFMap int &both_non_zero int n
int dReportError(const char *fmt,...)
void PrintS(const char *s)
void feStringAppendResources(int warn=-1)
const char * eati(const char *s, int *i)
void Warn(const char *fmt,...)
void Werror(const char *fmt,...) __attribute__((format(printf
void Print(const char *fmt,...) __attribute__((format(printf
void WarnS(const char *s)
void StringAppend(const char *fmt,...)
void StringAppendS(const char *s)
void void PrintNSpaces(const int n)