-/* Copyright (C) 2002, 2003, 2005 Free Software Foundation, Inc.
+/* Copyright (C) 2002, 2003, 2005, 2006, 2007, 2009, 2010, 2011
+ Free Software Foundation, Inc.
Contributed by Andy Vaught
-This file is part of the GNU Fortran 95 runtime library (libgfortran).
+This file is part of the GNU Fortran runtime library (libgfortran).
Libgfortran is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
-the Free Software Foundation; either version 2, or (at your option)
+the Free Software Foundation; either version 3, or (at your option)
any later version.
-In addition to the permissions in the GNU General Public License, the
-Free Software Foundation gives you unlimited permission to link the
-compiled version of this file into combinations with other programs,
-and to distribute those combinations without any restriction coming
-from the use of this file. (The General Public License restrictions
-do apply in other respects; for example, they cover modification of
-the file, and distribution when not linked into a combine
-executable.)
-
Libgfortran is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
-You should have received a copy of the GNU General Public License
-along with libgfortran; see the file COPYING. If not, write to
-the Free Software Foundation, 51 Franklin Street, Fifth Floor,
-Boston, MA 02110-1301, USA. */
+Under Section 7 of GPL version 3, you are granted additional
+permissions described in the GCC Runtime Library Exception, version
+3.1, as published by the Free Software Foundation.
+You should have received a copy of the GNU General Public License and
+a copy of the GCC Runtime Library Exception along with this program;
+see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
+<http://www.gnu.org/licenses/>. */
-#include "config.h"
-#include <stdio.h>
-#include <stdarg.h>
-#include <string.h>
-#include <float.h>
#include "libgfortran.h"
-#include "../io/io.h"
+#include <assert.h>
+#include <string.h>
+#include <errno.h>
+
+#ifdef HAVE_SIGNAL_H
+#include <signal.h>
+#endif
+
+#ifdef HAVE_UNISTD_H
+#include <unistd.h>
+#endif
+
+#ifdef HAVE_STDLIB_H
+#include <stdlib.h>
+#endif
+
+#ifdef HAVE_SYS_TIME_H
+#include <sys/time.h>
+#endif
+
+/* <sys/time.h> has to be included before <sys/resource.h> to work
+ around PR 30518; otherwise, MacOS 10.3.9 headers are just broken. */
+#ifdef HAVE_SYS_RESOURCE_H
+#include <sys/resource.h>
+#endif
+
+
+#ifdef __MINGW32__
+#define HAVE_GETPID 1
+#include <process.h>
+#endif
+
+
+/* Termination of a program: F2008 2.3.5 talks about "normal
+ termination" and "error termination". Normal termination occurs as
+ a result of e.g. executing the end program statement, and executing
+ the STOP statement. It includes the effect of the C exit()
+ function.
+
+ Error termination is initiated when the ERROR STOP statement is
+ executed, when ALLOCATE/DEALLOCATE fails without STAT= being
+ specified, when some of the co-array synchronization statements
+ fail without STAT= being specified, and some I/O errors if
+ ERR/IOSTAT/END/EOR is not present, and finally EXECUTE_COMMAND_LINE
+ failure without CMDSTAT=.
+
+ 2.3.5 also explains how co-images synchronize during termination.
+
+ In libgfortran we have two ways of ending a program. exit(code) is
+ a normal exit; calling exit() also causes open units to be
+ closed. No backtrace or core dump is needed here. When something
+ goes wrong, we have sys_abort() which tries to print the backtrace
+ if -fbacktrace is enabled, and then dumps core; whether a core file
+ is generated is system dependent. When aborting, we don't flush and
+ close open units, as program memory might be corrupted and we'd
+ rather risk losing dirty data in the buffers rather than corrupting
+ files on disk.
+
+*/
/* Error conditions. The tricky part here is printing a message when
* it is the I/O subsystem that is severely wounded. Our goal is to
* 1 Terminated because of operating system error.
* 2 Error in the runtime library
* 3 Internal error in runtime library
- * 4 Error during error processing (very bad)
*
* Other error returns are reserved for the STOP statement with a numeric code.
*/
-/* locus variables. These are optionally set by a caller before a
- * library subroutine is called. They are always cleared on exit so
- * that files that report loci and those that do not can be linked
- * together without reporting an erroneous position. */
-char *filename = 0;
-iexport_data(filename);
+/* Write a null-terminated C string to standard error. This function
+ is async-signal-safe. */
-unsigned line = 0;
-iexport_data(line);
+ssize_t
+estr_write (const char *str)
+{
+ return write (STDERR_FILENO, str, strlen (str));
+}
-/* buffer for integer/ascii conversions. */
-static char buffer[sizeof (GFC_UINTEGER_LARGEST) * 8 + 1];
+/* st_vprintf()-- vsnprintf-like function for error output. We use a
+ stack allocated buffer for formatting; since this function might be
+ called from within a signal handler, printing directly to stderr
+ with vfprintf is not safe since the stderr locking might lead to a
+ deadlock. */
-/* Returns a pointer to a static buffer. */
+#define ST_VPRINTF_SIZE 512
-char *
-gfc_itoa (GFC_INTEGER_LARGEST n)
+int
+st_vprintf (const char *format, va_list ap)
{
- int negative;
- char *p;
- GFC_UINTEGER_LARGEST t;
+ int written;
+ char buffer[ST_VPRINTF_SIZE];
- if (n == 0)
- {
- buffer[0] = '0';
- buffer[1] = '\0';
- return buffer;
- }
+#ifdef HAVE_VSNPRINTF
+ written = vsnprintf(buffer, ST_VPRINTF_SIZE, format, ap);
+#else
+ written = vsprintf(buffer, format, ap);
- negative = 0;
- t = n;
- if (n < 0)
+ if (written >= ST_VPRINTF_SIZE - 1)
{
- negative = 1;
- t = -n; /*must use unsigned to protect from overflow*/
+ /* The error message was longer than our buffer. Ouch. Because
+ we may have messed up things badly, report the error and
+ quit. */
+#define ERROR_MESSAGE "Internal error: buffer overrun in st_vprintf()\n"
+ write (STDERR_FILENO, buffer, ST_VPRINTF_SIZE - 1);
+ write (STDERR_FILENO, ERROR_MESSAGE, strlen(ERROR_MESSAGE));
+ sys_abort ();
+#undef ERROR_MESSAGE
+
}
+#endif
- p = buffer + sizeof (buffer) - 1;
- *p-- = '\0';
+ written = write (STDERR_FILENO, buffer, written);
+ return written;
+}
- while (t != 0)
+
+int
+st_printf (const char * format, ...)
+{
+ int written;
+ va_list ap;
+ va_start (ap, format);
+ written = st_vprintf (format, ap);
+ va_end (ap);
+ return written;
+}
+
+
+/* sys_abort()-- Terminate the program showing backtrace and dumping
+ core. */
+
+void
+sys_abort ()
+{
+ /* If backtracing is enabled, print backtrace and disable signal
+ handler for ABRT. */
+ if (options.backtrace == 1
+ || (options.backtrace == -1 && compile_options.backtrace == 1))
{
- *p-- = '0' + (t % 10);
- t /= 10;
+ show_backtrace ();
+#if defined(HAVE_SIGNAL) && defined(SIGABRT)
+ signal (SIGABRT, SIG_DFL);
+#endif
}
- if (negative)
- *p-- = '-';
- return ++p;
+ abort();
}
-/* xtoa()-- Integer to hexadecimal conversion. Returns a pointer to a
- * static buffer. */
+/* gfc_xtoa()-- Integer to hexadecimal conversion. */
-char *
-xtoa (GFC_UINTEGER_LARGEST n)
+const char *
+gfc_xtoa (GFC_UINTEGER_LARGEST n, char *buffer, size_t len)
{
int digit;
char *p;
+ assert (len >= GFC_XTOA_BUF_SIZE);
+
if (n == 0)
- {
- buffer[0] = '0';
- buffer[1] = '\0';
- return buffer;
- }
+ return "0";
- p = buffer + sizeof (buffer) - 1;
- *p-- = '\0';
+ p = buffer + GFC_XTOA_BUF_SIZE - 1;
+ *p = '\0';
while (n != 0)
{
if (digit > 9)
digit += 'A' - '0' - 10;
- *p-- = '0' + digit;
+ *--p = '0' + digit;
n >>= 4;
}
- return ++p;
+ return p;
}
-/* st_printf()-- simple printf() function for streams that handles the
- * formats %d, %s and %c. This function handles printing of error
- * messages that originate within the library itself, not from a user
- * program. */
+/* Hopefully thread-safe wrapper for a strerror_r() style function. */
-int
-st_printf (const char *format, ...)
+char *
+gf_strerror (int errnum,
+ char * buf __attribute__((unused)),
+ size_t buflen __attribute__((unused)))
{
- int count, total;
- va_list arg;
- char *p, *q;
- stream *s;
-
- total = 0;
- s = init_error_stream ();
- va_start (arg, format);
-
- for (;;)
+#ifdef HAVE_STRERROR_R
+ /* TODO: How to prevent the compiler warning due to strerror_r of
+ the untaken branch having the wrong return type? */
+ if (__builtin_classify_type (strerror_r (0, buf, 0)) == 5)
{
- count = 0;
-
- while (format[count] != '%' && format[count] != '\0')
- count++;
-
- if (count != 0)
- {
- p = salloc_w (s, &count);
- memmove (p, format, count);
- sfree (s);
- }
-
- total += count;
- format += count;
- if (*format++ == '\0')
- break;
-
- switch (*format)
- {
- case 'c':
- count = 1;
-
- p = salloc_w (s, &count);
- *p = (char) va_arg (arg, int);
-
- sfree (s);
- break;
-
- case 'd':
- q = gfc_itoa (va_arg (arg, int));
- count = strlen (q);
-
- p = salloc_w (s, &count);
- memmove (p, q, count);
- sfree (s);
- break;
-
- case 'x':
- q = xtoa (va_arg (arg, unsigned));
- count = strlen (q);
-
- p = salloc_w (s, &count);
- memmove (p, q, count);
- sfree (s);
- break;
-
- case 's':
- q = va_arg (arg, char *);
- count = strlen (q);
-
- p = salloc_w (s, &count);
- memmove (p, q, count);
- sfree (s);
- break;
-
- case '\0':
- return total;
-
- default:
- count = 2;
- p = salloc_w (s, &count);
- p[0] = format[-1];
- p[1] = format[0];
- sfree (s);
- break;
- }
-
- total += count;
- format++;
+ /* GNU strerror_r() */
+ return strerror_r (errnum, buf, buflen);
}
-
- va_end (arg);
- return total;
+ else
+ {
+ /* POSIX strerror_r () */
+ strerror_r (errnum, buf, buflen);
+ return buf;
+ }
+#else
+ /* strerror () is not necessarily thread-safe, but should at least
+ be available everywhere. */
+ return strerror (errnum);
+#endif
}
-/* st_sprintf()-- Simple sprintf() for formatting memory buffers. */
+/* show_locus()-- Print a line number and filename describing where
+ * something went wrong */
void
-st_sprintf (char *buffer, const char *format, ...)
+show_locus (st_parameter_common *cmp)
{
- va_list arg;
- char c, *p;
- int count;
-
- va_start (arg, format);
+ char *filename;
- for (;;)
+ if (!options.locus || cmp == NULL || cmp->filename == NULL)
+ return;
+
+ if (cmp->unit > 0)
{
- c = *format++;
- if (c != '%')
+ filename = filename_from_unit (cmp->unit);
+
+ if (filename != NULL)
{
- *buffer++ = c;
- if (c == '\0')
- break;
- continue;
+ st_printf ("At line %d of file %s (unit = %d, file = '%s')\n",
+ (int) cmp->line, cmp->filename, (int) cmp->unit, filename);
+ free (filename);
}
-
- c = *format++;
- switch (c)
+ else
{
- case 'c':
- *buffer++ = (char) va_arg (arg, int);
- break;
-
- case 'd':
- p = gfc_itoa (va_arg (arg, int));
- count = strlen (p);
-
- memcpy (buffer, p, count);
- buffer += count;
- break;
-
- case 's':
- p = va_arg (arg, char *);
- count = strlen (p);
-
- memcpy (buffer, p, count);
- buffer += count;
- break;
-
- default:
- *buffer++ = c;
+ st_printf ("At line %d of file %s (unit = %d)\n",
+ (int) cmp->line, cmp->filename, (int) cmp->unit);
}
+ return;
}
- va_end (arg);
-}
-
-
-/* show_locus()-- Print a line number and filename describing where
- * something went wrong */
-
-void
-show_locus (void)
-{
- if (!options.locus || filename == NULL)
- return;
-
- st_printf ("At line %d of file %s\n", line, filename);
+ st_printf ("At line %d of file %s\n", (int) cmp->line, cmp->filename);
}
/* Don't even try to print something at this point */
if (magic == MAGIC)
- sys_exit (4);
+ sys_abort ();
magic = MAGIC;
}
+#define STRERR_MAXSZ 256
+
/* os_error()-- Operating system error. We get a message from the
* operating system, show it and leave. Some operating system errors
* are caught and processed by the library. If not, we come here. */
void
os_error (const char *message)
{
+ char errmsg[STRERR_MAXSZ];
recursion_check ();
- show_locus ();
- st_printf ("Operating system error: %s\n%s\n", get_oserror (), message);
- sys_exit (1);
+ estr_write ("Operating system error: ");
+ estr_write (gf_strerror (errno, errmsg, STRERR_MAXSZ));
+ estr_write ("\n");
+ estr_write (message);
+ estr_write ("\n");
+ exit (1);
}
+iexport(os_error);
/* void runtime_error()-- These are errors associated with an
* invalid fortran program. */
void
-runtime_error (const char *message)
+runtime_error (const char *message, ...)
{
+ va_list ap;
+
recursion_check ();
- show_locus ();
- st_printf ("Fortran runtime error: %s\n", message);
- sys_exit (2);
+ estr_write ("Fortran runtime error: ");
+ va_start (ap, message);
+ st_vprintf (message, ap);
+ va_end (ap);
+ estr_write ("\n");
+ exit (2);
}
iexport(runtime_error);
+/* void runtime_error_at()-- These are errors associated with a
+ * run time error generated by the front end compiler. */
+
+void
+runtime_error_at (const char *where, const char *message, ...)
+{
+ va_list ap;
+
+ recursion_check ();
+ estr_write (where);
+ estr_write ("\nFortran runtime error: ");
+ va_start (ap, message);
+ st_vprintf (message, ap);
+ va_end (ap);
+ estr_write ("\n");
+ exit (2);
+}
+iexport(runtime_error_at);
+
+
+void
+runtime_warning_at (const char *where, const char *message, ...)
+{
+ va_list ap;
+
+ estr_write (where);
+ estr_write ("\nFortran runtime warning: ");
+ va_start (ap, message);
+ st_vprintf (message, ap);
+ va_end (ap);
+ estr_write ("\n");
+}
+iexport(runtime_warning_at);
+
/* void internal_error()-- These are this-can't-happen errors
* that indicate something deeply wrong. */
void
-internal_error (const char *message)
+internal_error (st_parameter_common *cmp, const char *message)
{
recursion_check ();
- show_locus ();
- st_printf ("Internal Error: %s\n", message);
- sys_exit (3);
+ show_locus (cmp);
+ estr_write ("Internal Error: ");
+ estr_write (message);
+ estr_write ("\n");
+
+ /* This function call is here to get the main.o object file included
+ when linking statically. This works because error.o is supposed to
+ be always linked in (and the function call is in internal_error
+ because hopefully it doesn't happen too often). */
+ stupid_function_name_for_static_linking();
+
+ exit (3);
}
switch (code)
{
- case ERROR_EOR:
+ case LIBERROR_EOR:
p = "End of record";
break;
- case ERROR_END:
+ case LIBERROR_END:
p = "End of file";
break;
- case ERROR_OK:
+ case LIBERROR_OK:
p = "Successful return";
break;
- case ERROR_OS:
+ case LIBERROR_OS:
p = "Operating system error";
break;
- case ERROR_BAD_OPTION:
+ case LIBERROR_BAD_OPTION:
p = "Bad statement option";
break;
- case ERROR_MISSING_OPTION:
+ case LIBERROR_MISSING_OPTION:
p = "Missing statement option";
break;
- case ERROR_OPTION_CONFLICT:
+ case LIBERROR_OPTION_CONFLICT:
p = "Conflicting statement options";
break;
- case ERROR_ALREADY_OPEN:
+ case LIBERROR_ALREADY_OPEN:
p = "File already opened in another unit";
break;
- case ERROR_BAD_UNIT:
+ case LIBERROR_BAD_UNIT:
p = "Unattached unit";
break;
- case ERROR_FORMAT:
+ case LIBERROR_FORMAT:
p = "FORMAT error";
break;
- case ERROR_BAD_ACTION:
+ case LIBERROR_BAD_ACTION:
p = "Incorrect ACTION specified";
break;
- case ERROR_ENDFILE:
+ case LIBERROR_ENDFILE:
p = "Read past ENDFILE record";
break;
- case ERROR_BAD_US:
+ case LIBERROR_BAD_US:
p = "Corrupt unformatted sequential file";
break;
- case ERROR_READ_VALUE:
+ case LIBERROR_READ_VALUE:
p = "Bad value during read";
break;
- case ERROR_READ_OVERFLOW:
+ case LIBERROR_READ_OVERFLOW:
p = "Numeric overflow on read";
break;
+ case LIBERROR_INTERNAL:
+ p = "Internal error in run-time library";
+ break;
+
+ case LIBERROR_INTERNAL_UNIT:
+ p = "Internal unit I/O error";
+ break;
+
+ case LIBERROR_DIRECT_EOR:
+ p = "Write exceeds length of DIRECT access record";
+ break;
+
+ case LIBERROR_SHORT_RECORD:
+ p = "I/O past end of record on unformatted file";
+ break;
+
+ case LIBERROR_CORRUPT_FILE:
+ p = "Unformatted file structure has been corrupted";
+ break;
+
default:
p = "Unknown error code";
break;
/* generate_error()-- Come here when an error happens. This
- * subroutine is called if it is possible to continue on after the
- * error. If an IOSTAT variable exists, we set it. If the IOSTAT or
- * ERR label is present, we return, otherwise we terminate the program
- * after print a message. The error code is always required but the
+ * subroutine is called if it is possible to continue on after the error.
+ * If an IOSTAT or IOMSG variable exists, we set it. If IOSTAT or
+ * ERR labels are present, we return, otherwise we terminate the program
+ * after printing a message. The error code is always required but the
* message parameter can be NULL, in which case a string describing
* the most recent operating system error is used. */
void
-generate_error (int family, const char *message)
+generate_error (st_parameter_common *cmp, int family, const char *message)
{
+ char errmsg[STRERR_MAXSZ];
+
+ /* If there was a previous error, don't mask it with another
+ error message, EOF or EOR condition. */
+
+ if ((cmp->flags & IOPARM_LIBRETURN_MASK) == IOPARM_LIBRETURN_ERROR)
+ return;
+
/* Set the error status. */
- if (ioparm.iostat != NULL)
- *ioparm.iostat = family;
+ if ((cmp->flags & IOPARM_HAS_IOSTAT))
+ *cmp->iostat = (family == LIBERROR_OS) ? errno : family;
+
+ if (message == NULL)
+ message =
+ (family == LIBERROR_OS) ? gf_strerror (errno, errmsg, STRERR_MAXSZ) :
+ translate_error (family);
+
+ if (cmp->flags & IOPARM_HAS_IOMSG)
+ cf_strcpy (cmp->iomsg, cmp->iomsg_len, message);
/* Report status back to the compiler. */
+ cmp->flags &= ~IOPARM_LIBRETURN_MASK;
switch (family)
{
- case ERROR_EOR:
- ioparm.library_return = LIBRARY_EOR;
- if (ioparm.eor != 0)
+ case LIBERROR_EOR:
+ cmp->flags |= IOPARM_LIBRETURN_EOR;
+ if ((cmp->flags & IOPARM_EOR))
return;
break;
- case ERROR_END:
- ioparm.library_return = LIBRARY_END;
- if (ioparm.end != 0)
+ case LIBERROR_END:
+ cmp->flags |= IOPARM_LIBRETURN_END;
+ if ((cmp->flags & IOPARM_END))
return;
break;
default:
- ioparm.library_return = LIBRARY_ERROR;
- if (ioparm.err != 0)
+ cmp->flags |= IOPARM_LIBRETURN_ERROR;
+ if ((cmp->flags & IOPARM_ERR))
return;
break;
}
/* Return if the user supplied an iostat variable. */
- if (ioparm.iostat != NULL)
+ if ((cmp->flags & IOPARM_HAS_IOSTAT))
return;
/* Terminate the program */
+ recursion_check ();
+ show_locus (cmp);
+ estr_write ("Fortran runtime error: ");
+ estr_write (message);
+ estr_write ("\n");
+ exit (2);
+}
+iexport(generate_error);
+
+
+/* generate_warning()-- Similar to generate_error but just give a warning. */
+
+void
+generate_warning (st_parameter_common *cmp, const char *message)
+{
if (message == NULL)
- message =
- (family == ERROR_OS) ? get_oserror () : translate_error (family);
+ message = " ";
- runtime_error (message);
+ show_locus (cmp);
+ estr_write ("Fortran runtime warning: ");
+ estr_write (message);
+ estr_write ("\n");
}
+/* Whether, for a feature included in a given standard set (GFC_STD_*),
+ we should issue an error or a warning, or be quiet. */
+
+notification
+notification_std (int std)
+{
+ int warning;
+
+ if (!compile_options.pedantic)
+ return NOTIFICATION_SILENT;
+
+ warning = compile_options.warn_std & std;
+ if ((compile_options.allow_std & std) != 0 && !warning)
+ return NOTIFICATION_SILENT;
+
+ return warning ? NOTIFICATION_WARNING : NOTIFICATION_ERROR;
+}
+
/* Possibly issue a warning/error about use of a nonstandard (or deleted)
feature. An error/warning will be issued if the currently selected
standard does not contain the requested bits. */
try
-notify_std (int std, const char * message)
+notify_std (st_parameter_common *cmp, int std, const char * message)
{
int warning;
+ if (!compile_options.pedantic)
+ return SUCCESS;
+
warning = compile_options.warn_std & std;
if ((compile_options.allow_std & std) != 0 && !warning)
return SUCCESS;
- show_locus ();
if (!warning)
{
- st_printf ("Fortran runtime error: %s\n", message);
- sys_exit (2);
+ recursion_check ();
+ show_locus (cmp);
+ estr_write ("Fortran runtime error: ");
+ estr_write (message);
+ estr_write ("\n");
+ exit (2);
}
else
- st_printf ("Fortran runtime warning: %s\n", message);
+ {
+ show_locus (cmp);
+ estr_write ("Fortran runtime warning: ");
+ estr_write (message);
+ estr_write ("\n");
+ }
return FAILURE;
}
OSDN Git Service
