diff options
| author | Steven G. Kargl <kargl@gcc.gnu.org> | 2015-06-08 15:55:16 +0000 |
|---|---|---|
| committer | Steven G. Kargl <kargl@gcc.gnu.org> | 2015-06-08 15:55:16 +0000 |
| commit | ef701bbe50402a6b44f73bc3913ac8c85b1d5b9e (patch) | |
| tree | fd6d439ac0a513dbb2abe336673638a486ae4437 | |
| parent | a1661b90dcbaed222e647bda75540e8a87f250ed (diff) | |
| download | gcc-ef701bbe50402a6b44f73bc3913ac8c85b1d5b9e.zip gcc-ef701bbe50402a6b44f73bc3913ac8c85b1d5b9e.tar.gz gcc-ef701bbe50402a6b44f73bc3913ac8c85b1d5b9e.tar.bz2 | |
re PR fortran/66245 (ICE on select type with empty type spec)
2015-06-08 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/66245
* match.c (gfc_match_type_is, gfc_match_class_is): Check if the
return type spec or derived type spec is validate.
2015-06-08 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/66245
* gfortran.dg/class_is_1.f90: New test.
* gfortran.dg/type_is_1.f90: Ditto.
From-SVN: r224237
| -rw-r--r-- | gcc/fortran/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/fortran/match.c | 10 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/gfortran.dg/class_is_1.f90 | 15 | ||||
| -rw-r--r-- | gcc/testsuite/gfortran.dg/type_is_1.f90 | 15 |
5 files changed, 50 insertions, 2 deletions
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 7d3e31e..cf42e38 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,9 @@ +2015-06-08 Steven G. Kargl <kargl@gcc.gnu.org> + + PR fortran/66245 + * match.c (gfc_match_type_is, gfc_match_class_is): Check if the + return type spec or derived type spec is validate. + 2015-06-06 Thomas Koenig <tkoenig@netcologne.de> PR fortran/47659 diff --git a/gcc/fortran/match.c b/gcc/fortran/match.c index b51d18a..c064135 100644 --- a/gcc/fortran/match.c +++ b/gcc/fortran/match.c @@ -5456,7 +5456,10 @@ gfc_match_type_is (void) c = gfc_get_case (); c->where = gfc_current_locus; - if (gfc_match_type_spec (&c->ts) == MATCH_ERROR) + m = gfc_match_type_spec (&c->ts); + if (m == MATCH_NO) + goto syntax; + if (m == MATCH_ERROR) goto cleanup; if (gfc_match_char (')') != MATCH_YES) @@ -5536,7 +5539,10 @@ gfc_match_class_is (void) c = gfc_get_case (); c->where = gfc_current_locus; - if (match_derived_type_spec (&c->ts) == MATCH_ERROR) + m = match_derived_type_spec (&c->ts); + if (m == MATCH_NO) + goto syntax; + if (m == MATCH_ERROR) goto cleanup; if (c->ts.type == BT_DERIVED) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 202551f..ffef82e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2015-06-08 Steven G. Kargl <kargl@gcc.gnu.org> + + PR fortran/66245 + * gfortran.dg/class_is_1.f90: New test. + * gfortran.dg/type_is_1.f90: Ditto. + 2015-06-08 Marek Polacek <polacek@redhat.com> PR c/66415 diff --git a/gcc/testsuite/gfortran.dg/class_is_1.f90 b/gcc/testsuite/gfortran.dg/class_is_1.f90 new file mode 100644 index 0000000..b5bc5a9 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/class_is_1.f90 @@ -0,0 +1,15 @@ +! { dg-do compile } +! PR fortran/66245 +! Original testcase by Gerhard Steinmetz +! <gerhard dot steinmetz dot fortran at t-online dot de> +program p + type t; end type + class(t), allocatable :: x + call s + contains + subroutine s + select type ( x ) + class is ( ) ! { dg-error "error in CLASS IS" } + end select + end subroutine s +end program p diff --git a/gcc/testsuite/gfortran.dg/type_is_1.f90 b/gcc/testsuite/gfortran.dg/type_is_1.f90 new file mode 100644 index 0000000..860a668 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/type_is_1.f90 @@ -0,0 +1,15 @@ +! { dg-do compile } +! PR fortran/66245 +! Original testcase by Gerhard Steinmetz +! <gerhard dot steinmetz dot fortran at t-online dot de> +program p + type t; end type + class(t), allocatable :: x + call s + contains + subroutine s + select type ( x ) + type is ( ) ! { dg-error "error in TYPE IS" } + end select + end subroutine s +end program p |