29 #define TRACE_SHOW_PROC 1
31 #define TRACE_SHOW_LINENO 2
33 #define TRACE_SHOW_LINE 4
36 #define TRACE_SHOW_RINGS 8
38 #define TRACE_SHOW_LINE1 16
40 #define TRACE_BREAKPOINT 32
42 #define TRACE_TMP_BREAKPOINT 64
44 #define TRACE_CALL 128
46 #define TRACE_ASSIGN 256
48 #define TRACE_CONV 512
50 #define TRACE_PROFILING 1024
58 #define mflush() fflush(stdout)
88 void Warn(
const char *fmt, ...);
90 const char *
eati(
const char *
s,
int *
i);
113 #define dReportBug(s) \
114 dReportError("Bug reported: %s\n occurred at %s,%d\n", s, __FILE__, __LINE__)
125 #define assume(x) do {} while (0)
126 #define r_assume(x) do {} while (0)
129 #define assume_violation(s,f,l) \
130 dReportError("assume violation at %s:%d condition: %s", f,l,s)
132 #define assume(x) _assume(x, __FILE__, __LINE__)
133 #define r_assume(x) _r_assume(x, __FILE__, __LINE__)
135 #define _assume(x, f, l) \
140 assume_violation(#x, f, l); \
145 #define _r_assume(x, f, l) \
150 assume_violation(#x, f, l); \
const CanonicalForm int s
void Werror(const char *fmt,...) __attribute__((format(printf
EXTERN_VAR int feErrorsLen
void StringAppendS(const char *s)
EXTERN_VAR int pagelength
EXTERN_VAR FILE * feProtFile
EXTERN_VAR int traceit_stop
void WarnS(const char *s)
const char feNotImplemented[]
void PrintS(const char *s)
void void PrintNSpaces(const int n)
const char * eati(const char *s, int *i)
EXTERN_VAR char * feErrors
void StringAppend(const char *fmt,...)
EXTERN_VAR void(* WarnS_callback)(const char *s)
EXTERN_VAR BOOLEAN feWarn
void feStringAppendResources(int warn=-1)
EXTERN_VAR int yy_blocklineno
int dReportError(const char *fmt,...)
void void WerrorS_batch(const char *s)
void Print(const char *fmt,...) __attribute__((format(printf
void Warn(const char *fmt,...)
void StringSetS(const char *s)