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
46#define TRACE_ASSIGN 256
50#define TRACE_PROFILING 1024
58#define mflush() fflush(stdout)
88void Warn(
const char *fmt, ...);
90const 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
const char * eati(const char *s, int *i)
EXTERN_VAR int traceit_stop
const char feNotImplemented[]
void PrintS(const char *s)
void void PrintNSpaces(const int n)
EXTERN_VAR char * feErrors
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 StringSetS(const char *s)