1 /* Implement runtime actions for CHILL.
2 Copyright (C) 1992,1993 Free Software Foundation, Inc.
5 This file is part of GNU CC.
7 GNU CC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
12 GNU CC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GNU CC; see the file COPYING. If not, write to
19 the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
29 * function unhandled_exception
32 * exname name of exception
35 * user_arg user specified argument
41 * print an error message about unhandled exception and call abort
46 unhandled_exception (exname
, file
, lineno
, user_arg
)
52 sleep (1); /* give previous output a chance to finish */
53 fprintf (stderr
, "ChillLib: unhandled exception `%s' in file %s at line %d\n",
54 exname
, file
, lineno
);
57 } /* unhandled_exception */