#include <stdio.h>
#if DEBUGPRED
extern const unsigned long int __start_predict_data;
extern const unsigned long int __stop_predict_data;
extern const unsigned long int __start_predict_line;
extern const char *const __start_predict_file;
static void
__attribute__ ((destructor))
predprint (void)
{
const unsigned long int *s = &__start_predict_data;
const unsigned long int *e = &__stop_predict_data;
const unsigned long int *sl = &__start_predict_line;
const char *const *sf = &__start_predict_file;
while (s < e)
{
if (s[0] != 0 || s[1] != 0)
printf ("%s:%lu: wrong=%lu, correct=%lu%s\n", *sf, *sl, s[0], s[1],
s[0] > s[1] ? " <==== WARNING" : "");
++sl;
++sf;
s += 2;
}
}
#endif