[Bug fortran/102333] New: [9/10/11/12 Regression] ICE in gfc_generate_function_code, at fortran/trans-decl.c:6941

[Bug fortran/102333] New: [9/10/11/12 Regression] ICE in gfc_generate_function_code, at fortran/trans-decl.c:6941

[gscfq@t-online.de]

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

            Bug ID: 102333
           Summary: [9/10/11/12 Regression] ICE in
                    gfc_generate_function_code, at
                    fortran/trans-decl.c:6941
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Started with r7 (before 20180426) :


$ cat z1.f90
function f(x) result(y)
   class(*), pointer :: y
contains
   function g() result(z)
      procedure(f), pointer :: z
   end
end


$ gfortran-6 -c z1.f90
z1.f90:4:25:

    function g() result(z)
                         1
Error: CLASS variable 'z' at (1) must be dummy, allocatable or pointer


$ gfortran-12-20210905 -c z1.f90
z1.f90:6:6:

    6 |    end
      |      1
internal compiler error: Segmentation fault
0xd09e4f crash_signal
        ../../gcc/toplev.c:328
0x83d821 gfc_generate_function_code(gfc_namespace*)
        ../../gcc/fortran/trans-decl.c:6941
0x83c964 gfc_generate_contained_functions
        ../../gcc/fortran/trans-decl.c:5912
0x83c964 gfc_generate_function_code(gfc_namespace*)
        ../../gcc/fortran/trans-decl.c:6850
0x7c2ee6 translate_all_program_units
        ../../gcc/fortran/parse.c:6569
0x7c2ee6 gfc_parse_file()
        ../../gcc/fortran/parse.c:6838
0x80f57f gfc_be_parse_file
        ../../gcc/fortran/f95-lang.c:216

[Bug fortran/102333] [9/10/11/12 Regression] ICE in gfc_generate_function_code, at fortran/trans-decl.c:6941

[gscfq@t-online.de]

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

--- Comment #1 from G. Steinmetz <gscfq@t-online.de> ---

Compiles with "allocatable" instead :


$ cat z2.f90
function f(x) result(y)
   class(*), allocatable :: y
contains
   function g() result(z)
      procedure(f), allocatable :: z
   end
end

[Bug fortran/102333] [9/10/11/12 Regression] ICE in gfc_generate_function_code, at fortran/trans-decl.c:6941

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
           Keywords|                            |accepts-invalid,
                   |                            |ice-on-valid-code
   Last reconfirmed|                            |2021-09-14
                 CC|                            |anlauf at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #2 from anlauf at gcc dot gnu.org ---
The result clause is not needed.  We even ICE on:

function f(x)
  class(*), pointer :: f
contains
  function g()
    procedure(f), pointer :: g
  end
end

or

function f(x)
  class(*), allocatable :: f
contains
  function g()
    procedure(f), pointer :: g
  end
end

Note however that the code in comment#1 is invalid and should be rejected.

[Bug fortran/102333] [9/10/11/12 Regression] ICE in gfc_generate_function_code, at fortran/trans-decl.c:6941

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4
   Target Milestone|---                         |9.5

[Bug fortran/102333] [9/10/11/12 Regression] ICE in gfc_generate_function_code, at fortran/trans-decl.c:6941 since r7-4526-gd809e15a19e63493

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |janus at gcc dot gnu.org,
                   |                            |marxin at gcc dot gnu.org
            Summary|[9/10/11/12 Regression] ICE |[9/10/11/12 Regression] ICE
                   |in                          |in
                   |gfc_generate_function_code, |gfc_generate_function_code,
                   |at                          |at
                   |fortran/trans-decl.c:6941   |fortran/trans-decl.c:6941
                   |                            |since
                   |                            |r7-4526-gd809e15a19e63493

--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r7-4526-gd809e15a19e63493.

[Bug fortran/102333] [10/11/12/13 Regression] ICE in gfc_generate_function_code, at fortran/trans-decl.c:6941 since r7-4526-gd809e15a19e63493

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.5                         |10.4

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9 branch is being closed

[Bug fortran/102333] [10/11/12/13 Regression] ICE in gfc_generate_function_code, at fortran/trans-decl.c:6941 since r7-4526-gd809e15a19e63493

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.4                        |10.5

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.

[Bug fortran/102333] [11/12/13/14 Regression] ICE in gfc_generate_function_code, at fortran/trans-decl.c:6941 since r7-4526-gd809e15a19e63493

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.5                        |11.5

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 10 branch is being closed.