# HG changeset patch
# User jwe
# Date 752362685 0
# Node ID 4f3364dcf450b97b77dfd60f04e0a6c31dd9ab7a
# Parent  08a59c5cfa82f84f10c61062e4bab6c1d3a9a50a
[project @ 1993-11-03 21:37:59 by jwe]

diff -r 08a59c5cfa82 -r 4f3364dcf450 src/error.h
--- a/src/error.h	Tue Nov 02 05:36:05 1993 +0000
+++ b/src/error.h	Wed Nov 03 21:38:05 1993 +0000
@@ -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, ...);
diff -r 08a59c5cfa82 -r 4f3364dcf450 src/utils.h
--- a/src/utils.h	Tue Nov 02 05:36:05 1993 +0000
+++ b/src/utils.h	Wed Nov 03 21:38:05 1993 +0000
@@ -34,6 +34,13 @@
 class ostrstream;
 class tree_constant;
 
+// Tell g++ that jump_to_top_level doesn't return;
+
+#ifdef __GNUG__
+typedef void v_fcn_v (void);
+volatile v_fcn_v jump_to_top_level;
+#endif
+
 extern char *strsave (const char *);
 extern char *strconcat (const char *, const char *);
 extern void discard_until (istream&, char);