[Bug fortran/95584] New: ICE in generic_correspondence, at fortran/interface.c:1260

[Bug fortran/95584] New: ICE in generic_correspondence, at fortran/interface.c:1260

[gscfq@t-online.de]

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

            Bug ID: 95584
           Summary: ICE in generic_correspondence, at
                    fortran/interface.c:1260
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Affects versions down to at least r5, with a doubled interface :


$ cat z1.f90
program p
   interface s
      subroutine g(x, *)
      end
      subroutine h(y, *)
      end
   end interface
end


$ gfortran-11-20200607 -c z1.f90
f951: internal compiler error: Segmentation fault
0xbc593f crash_signal
        ../../gcc/toplev.c:328
0x662887 generic_correspondence
        ../../gcc/fortran/interface.c:1260
0x66379b gfc_compare_interfaces(gfc_symbol*, gfc_symbol*, char const*, int,
int, char*, int, char const*, char const*, bool*)
        ../../gcc/fortran/interface.c:1776
0x663f6c check_interface1
        ../../gcc/fortran/interface.c:1954
0x664163 check_sym_interfaces
        ../../gcc/fortran/interface.c:2012
0x6e9fc2 do_traverse_symtree
        ../../gcc/fortran/symbol.c:4150
0x6641e0 gfc_check_interfaces(gfc_namespace*)
        ../../gcc/fortran/interface.c:2104
0x6cf3ad resolve_types
        ../../gcc/fortran/resolve.c:17191
0x6ca98c gfc_resolve(gfc_namespace*)
        ../../gcc/fortran/resolve.c:17290
0x6b2adc resolve_all_program_units
        ../../gcc/fortran/parse.c:6245
0x6b2adc gfc_parse_file()
        ../../gcc/fortran/parse.c:6492
0x6feb3f gfc_be_parse_file
        ../../gcc/fortran/f95-lang.c:212

[Bug fortran/95584] ICE in generic_correspondence, at fortran/interface.c:1260

[kargl at gcc dot gnu.org]

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

kargl at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4
                 CC|                            |kargl at gcc dot gnu.org

--- Comment #1 from kargl at gcc dot gnu.org ---
Index: gcc/fortran/interface.c
===================================================================
--- gcc/fortran/interface.c     (revision 280157)
+++ gcc/fortran/interface.c     (working copy)
@@ -1257,7 +1257,7 @@ generic_correspondence (gfc_formal_arglist *f1, gfc_fo

   while (f1)
     {
-      if (f1->sym->attr.optional)
+      if (!f1->sym || f1->sym->attr.optional)
        goto next;

       if (p1 && strcmp (f1->sym->name, p1) == 0)

[Bug fortran/95584] ICE in generic_correspondence, at fortran/interface.c:1260

[dominiq at lps dot ens.fr]

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

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2020-06-08

[Bug fortran/95584] ICE in generic_correspondence, at fortran/interface.c:1260

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Mark Eggleston
<markeggleston@gcc.gnu.org>:

https://gcc.gnu.org/g:8f8ea4a47f3ab0b44b2bbf1c77db6111325d4841

commit r11-1777-g8f8ea4a47f3ab0b44b2bbf1c77db6111325d4841
Author: Mark Eggleston <markeggleston@gcc.gnu.org>
Date:   Thu Jun 25 05:16:50 2020 +0100

    Fortran  : ICE in generic_correspondence PR95584

    Output an error for ambiguous interfaces in generic interface
    instead of ICE.

    2020-07-02  Steven G. Kargl  <kargl@gcc.gnu.org>

    gcc/fortran/

            PR fortran/95584
            * interface.c (generic_correspondence): Only use the pointer
            to a symbol if exists.

    2020-07-02  Mark Eggleston  <markeggleston@gcc.gnu.org>

    gcc/testsuite/

            PR fortran/95584
            * gfortran.dg/pr95584.f90: New test.

[Bug fortran/95584] ICE in generic_correspondence, at fortran/interface.c:1260

[markeggleston at gcc dot gnu.org]

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

markeggleston at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |markeggleston at gcc dot gnu.org
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED

--- Comment #3 from markeggleston at gcc dot gnu.org ---
committed to master, although the problem exists with gcc-10, 9 and 8 it isn't
being backported. (https://gcc.gnu.org/pipermail/fortran/2020-June/054659.html)