diff options
| author | Thomas Koenig <Thomas.Koenig@online.de> | 2005-08-24 20:04:20 +0000 |
|---|---|---|
| committer | Thomas Koenig <tkoenig@gcc.gnu.org> | 2005-08-24 20:04:20 +0000 |
| commit | fe58e07668767de1adc8cab509649a485607d127 (patch) | |
| tree | ee3f72b0e9a25230193623fc852517df5c61a9e2 /gcc/fortran/intrinsic.c | |
| parent | 1a1e6a9d4a1c8cfb8aef4d7f18fe4c68444f9317 (diff) | |
| download | gcc-fe58e07668767de1adc8cab509649a485607d127.zip gcc-fe58e07668767de1adc8cab509649a485607d127.tar.gz gcc-fe58e07668767de1adc8cab509649a485607d127.tar.bz2 | |
re PR fortran/17758 (gfortran_abort and some others should be marked as noreturn)
2005-08-24 Thomas Koenig <Thomas.Koenig@online.de>
PR fortran/17758
* gfortran.h (symbol_attribute): Add noreturn to the structure.
(gfc_intrinsic_sym): Add noreturn to the structure.
* intrinsic.c (make_noreturn): New function.
(add_subroutines): Mark subroutines abort and exit as noreturn.
(gfc_intrinsic_sub_interface): Copy noreturn attribute from
isym to the resolved symbol.
* trans-decl.c (gfc_get_extern_function_decl): Set function
as VOLATILE (== noreturn) if the noreturn attribute is set.
2005-08-24 Thomas Koenig <Thomas.Koenig@online.de>
PR fortran/17758
gfortran.dg/nonreturning_statements.f90: New test.
From-SVN: r103449
Diffstat (limited to 'gcc/fortran/intrinsic.c')
| -rw-r--r-- | gcc/fortran/intrinsic.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/fortran/intrinsic.c b/gcc/fortran/intrinsic.c index a304fbd..180e7ae 100644 --- a/gcc/fortran/intrinsic.c +++ b/gcc/fortran/intrinsic.c @@ -843,6 +843,14 @@ make_alias (const char *name, int standard) } } +/* Make the current subroutine noreturn. */ + +static void +make_noreturn(void) +{ + if (sizing == SZ_NOTHING) + next_sym[-1].noreturn = 1; +} /* Add intrinsic functions. */ @@ -2108,6 +2116,8 @@ add_subroutines (void) add_sym_0s ("abort", 1, GFC_STD_GNU, NULL); + make_noreturn(); + add_sym_1s ("cpu_time", 0, 1, BT_UNKNOWN, 0, GFC_STD_F95, gfc_check_cpu_time, NULL, gfc_resolve_cpu_time, tm, BT_REAL, dr, REQUIRED); @@ -2199,6 +2209,8 @@ add_subroutines (void) gfc_check_exit, NULL, gfc_resolve_exit, c, BT_INTEGER, di, OPTIONAL); + make_noreturn(); + add_sym_1s ("flush", 0, 1, BT_UNKNOWN, 0, GFC_STD_GNU, gfc_check_flush, NULL, gfc_resolve_flush, c, BT_INTEGER, di, OPTIONAL); @@ -3161,6 +3173,7 @@ gfc_intrinsic_sub_interface (gfc_code * c, int error_flag) return MATCH_ERROR; } + c->resolved_sym->attr.noreturn = isym->noreturn; check_intrinsic_standard (name, isym->standard, &c->loc); return MATCH_YES; |