[Bug fortran/66057] New: ICE for incomplete generic statement (gfc_match_generic)

[Bug fortran/66057] New: ICE for incomplete generic statement (gfc_match_generic)

[gerhard.steinmetz.fortran@t-online.de]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66057

            Bug ID: 66057
           Summary: ICE for incomplete generic statement
                    (gfc_match_generic)
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gerhard.steinmetz.fortran@t-online.de
  Target Milestone: ---

This code fragment with an incomplete generic statement ...
   program p
      type t
      contains
      generic :: !
      end type
   end

or this variation ...
   program p
      type t
      contains
      generic :: ;
      end type
   end

produces (with gfortran 5.1.1 on SUSE Linux 13.2, 64 bit)
f951: internal compiler error: in gfc_match_generic, at fortran/decl.c:8514

---

Other illegal characters produce the same error :
   program p
      type t
      contains
      generic :: 1
      generic :: 2
      generic :: .
      generic :: ,
      generic :: +
      generic :: -
      generic :: *
      generic :: /
      generic :: =
      generic :: '
      generic :: "
      generic :: %
      generic :: ?
      generic :: (
      generic :: )
      !...
      generic :: 1 =
      generic :: 1 =>
      generic :: 1 => 2
      generic :: 1 => x
      !...
      end type
   end

Kind regards.

[Bug fortran/66057] ICE for incomplete generic statement (gfc_match_generic)

[kargl at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66057

kargl at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-05-07
                 CC|                            |kargl at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from kargl at gcc dot gnu.org ---
Confirmed.

This patch

Index: decl.c
===================================================================
--- decl.c      (revision 222869)
+++ decl.c      (working copy)
@@ -8510,6 +8511,11 @@ gfc_match_generic (void)
                gfc_op2string (op));
       break;

+    case INTERFACE_NAMELESS:
+      gfc_error ("Malformed GENERIC statement at %C");
+      goto error;
+      break;
+
     default:
       gcc_unreachable ();
     }

generates

gfc6 -c -O qo.f90
qo.f90:5:16:

       generic :: !
                1
Error: Malformed GENERIC statement at (1)

[Bug fortran/66057] ICE for incomplete generic statement (gfc_match_generic)

[kargl at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66057

--- Comment #2 from kargl at gcc dot gnu.org ---
Author: kargl
Date: Mon May 18 23:09:49 2015
New Revision: 223325

URL: https://gcc.gnu.org/viewcvs?rev=223325&root=gcc&view=rev
Log:
2015-05-18  Steven G. Kargl  <kargl@gcc.gnu.org>

        PR fortran/66057
        * decl.c(gfc_match_generic):  Detected a malformed GENERIC statement.

2015-05-18  Steven G. Kargl  <kargl@gcc.gnu.org>

        PR fortran/66057
        * gfortran.dg/generic_29.f90: New tests.

Added:
    trunk/gcc/testsuite/gfortran.dg/generic_29.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/decl.c
    trunk/gcc/testsuite/ChangeLog

[Bug fortran/66057] ICE for incomplete generic statement (gfc_match_generic)

[kargl at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66057

--- Comment #3 from kargl at gcc dot gnu.org ---
Author: kargl
Date: Mon May 18 23:26:38 2015
New Revision: 223326

URL: https://gcc.gnu.org/viewcvs?rev=223326&root=gcc&view=rev
Log:
2015-05-18  Steven G. Kargl  <kargl@gcc.gnu.org>

        PR fortran/66057
        * interface.c(gfc_match_end_interface): Enforce F2008 C1202 (R1201).
        * match.c(gfc_op2string): Return 'none' for INTRINSIC_NONE.


2015-05-18  Steven G. Kargl  <kargl@gcc.gnu.org>

        PR fortran/66057
        * gfortran.dg/interface_operator_1.f90: New tests.

Added:
    trunk/gcc/testsuite/gfortran.dg/interface_operator_1.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/interface.c
    trunk/gcc/fortran/match.c
    trunk/gcc/testsuite/ChangeLog

[Bug fortran/66057] ICE for incomplete generic statement (gfc_match_generic)

[kargl at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66057

--- Comment #4 from kargl at gcc dot gnu.org ---
Author: kargl
Date: Tue May 19 18:20:12 2015
New Revision: 223409

URL: https://gcc.gnu.org/viewcvs?rev=223409&root=gcc&view=rev
Log:
2015-05-19  Steven G. Kargl  <kargl@gcc.gnu.org>

        PR fortran/66057
        * decl.c(gfc_match_generic):  Detected a malformed GENERIC statement.

2015-05-19  Steven G. Kargl  <kargl@gcc.gnu.org>

        PR fortran/66057
        * gfortran.dg/generic_29.f90: New tests.

Added:
    branches/gcc-5-branch/gcc/testsuite/gfortran.dg/generic_29.f90
Modified:
    branches/gcc-5-branch/gcc/fortran/ChangeLog
    branches/gcc-5-branch/gcc/fortran/decl.c
    branches/gcc-5-branch/gcc/testsuite/ChangeLog

[Bug fortran/66057] ICE for incomplete generic statement (gfc_match_generic)

[kargl at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66057

kargl at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|---                         |5.2

--- Comment #5 from kargl at gcc dot gnu.org ---
Fixed on trunk and 5-branch.  Thanks for the bug report.

[Bug fortran/66057] ICE for incomplete generic statement (gfc_match_generic)

[kargl at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66057

--- Comment #6 from kargl at gcc dot gnu.org ---
Author: kargl
Date: Tue May 19 18:31:39 2015
New Revision: 223410

URL: https://gcc.gnu.org/viewcvs?rev=223410&root=gcc&view=rev
Log:
2015-05-19  Steven G. Kargl  <kargl@gcc.gnu.org>

        PR fortran/66057
        * interface.c(gfc_match_end_interface): Enforce F2008 C1202 (R1201).
        * match.c(gfc_op2string): Return 'none' for INTRINSIC_NONE.


2015-05-19  Steven G. Kargl  <kargl@gcc.gnu.org>

        PR fortran/66057
        * gfortran.dg/interface_operator_1.f90: New tests.

Added:
    branches/gcc-5-branch/gcc/testsuite/gfortran.dg/interface_operator_1.f90
Modified:
    branches/gcc-5-branch/gcc/fortran/ChangeLog
    branches/gcc-5-branch/gcc/fortran/interface.c
    branches/gcc-5-branch/gcc/fortran/match.c
    branches/gcc-5-branch/gcc/testsuite/ChangeLog