diff src/error.h @ 194:4f3364dcf450

[project @ 1993-11-03 21:37:59 by jwe]
author jwe
date Wed, 03 Nov 1993 21:38:05 +0000
parents de0e58f9b064
children a99f28f5e351
line wrap: on
line diff
--- a/src/error.h
+++ b/src/error.h
@@ -32,6 +32,13 @@
   panic ("impossible state reached in file `%s' at line %d", \
 	 __FILE__, __LINE__)
 
+// Tell g++ that panic doesn't return;
+
+#ifdef __GNUG__
+typedef void v_fcn_cpc_x (const char *, ...);
+volatile v_fcn_cpc_x panic;
+#endif
+
 extern void message (const char *name, const char *fmt, ...);
 extern void usage (const char *fmt, ...);
 extern void warning (const char *fmt, ...);