1984-05-17 13:57:07 +00:00
|
|
|
#ifndef NORCSID
|
|
|
|
static char rcsid[] = "$Header$";
|
|
|
|
#endif
|
|
|
|
|
1984-05-17 13:42:36 +00:00
|
|
|
#include <stdio.h>
|
|
|
|
#include "param.h"
|
|
|
|
#include "types.h"
|
1990-09-04 16:42:43 +00:00
|
|
|
#include "tes.h"
|
1984-05-17 13:42:36 +00:00
|
|
|
#include "assert.h"
|
|
|
|
#include "lookup.h"
|
|
|
|
#include "proinf.h"
|
|
|
|
#include "optim.h"
|
|
|
|
#include "ext.h"
|
|
|
|
|
|
|
|
/*
|
1987-03-10 01:42:07 +00:00
|
|
|
* (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
|
|
|
|
* See the copyright notice in the ACK home directory, in the file "Copyright".
|
1984-05-17 13:42:36 +00:00
|
|
|
*
|
|
|
|
* Author: Hans van Staveren
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
|
|
/* VARARGS1 */
|
|
|
|
error(s,a) char *s,*a; {
|
|
|
|
|
|
|
|
fprintf(stderr,"%s: error on line %u",progname,linecount);
|
|
|
|
if (prodepth != 0)
|
|
|
|
fprintf(stderr,"(%.*s)",IDL,curpro.symbol->s_name);
|
|
|
|
fprintf(stderr,": ");
|
|
|
|
fprintf(stderr,s,a);
|
|
|
|
fprintf(stderr,"\n");
|
1994-02-25 14:01:54 +00:00
|
|
|
#ifndef NDEBUG
|
1984-05-17 13:42:36 +00:00
|
|
|
abort();
|
1994-02-25 14:01:54 +00:00
|
|
|
#endif
|
1984-05-17 13:42:36 +00:00
|
|
|
exit(-1);
|
|
|
|
}
|
|
|
|
|
|
|
|
#ifndef NDEBUG
|
|
|
|
badassertion(file,line) char *file; unsigned line; {
|
|
|
|
|
|
|
|
fprintf(stderr,"assertion failed file %s, line %u\n",file,line);
|
|
|
|
error("assertion");
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#ifdef DIAGOPT
|
|
|
|
optim(n) {
|
|
|
|
|
|
|
|
fprintf(stderr,"Made optimization %d",n);
|
1989-02-06 14:39:08 +00:00
|
|
|
if (prodepth)
|
1984-05-17 13:42:36 +00:00
|
|
|
fprintf(stderr," (%.*s)",IDL,curpro.symbol->s_name);
|
|
|
|
fprintf(stderr,"\n");
|
|
|
|
}
|
|
|
|
#endif
|