[Bug fortran/102532] New: [10/11/12 Regression] ICE in gfc_get_corank, at fortran/expr.c:5769

[Bug fortran/102532] New: [10/11/12 Regression] ICE in gfc_get_corank, at fortran/expr.c:5769

[gscfq@t-online.de]

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

            Bug ID: 102532
           Summary: [10/11/12 Regression] ICE in gfc_get_corank, at
                    fortran/expr.c:5769
           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 r6 (and detected somehow with r5) :


$ cat z1.f90
program p
   character(:), allocatable :: x[:]
   associate (y => x(:)(2:))
   end associate
end


$ cat z2.f90
program p
   character(:), allocatable :: x[:]
   associate (y => x(:)(:))
   end associate
end


$ gfortran-5 -c z1.f90 -fcoarray=lib 
z1.f90:3:20:

    associate (y => x(:)(2:))
                    1
Error: Rank mismatch in array reference at (1) (1/0)
z1.f90:3:27:

    associate (y => x(:)(2:))
                           1
Error: Entity 'y' at (1) has a deferred type parameter and requires either the
POINTER or ALLOCATABLE attribute


$ gfortran-12-20210926 -c z1.f90 -fcoarray=lib
f951: internal compiler error: in gfc_get_corank, at fortran/expr.c:5769
0x79c591 gfc_get_corank(gfc_expr*)
        ../../gcc/fortran/expr.c:5769
0x7f38fb parse_associate
        ../../gcc/fortran/parse.c:4981
0x7f38fb parse_executable
        ../../gcc/fortran/parse.c:5728
0x7f47ef parse_progunit
        ../../gcc/fortran/parse.c:6143
0x7f5ed1 gfc_parse_file()
        ../../gcc/fortran/parse.c:6658
0x842daf gfc_be_parse_file
        ../../gcc/fortran/f95-lang.c:216

[Bug fortran/102532] [10/11/12 Regression] ICE in gfc_get_corank, at fortran/expr.c:5769

[gscfq@t-online.de]

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

G. Steinmetz <gscfq@t-online.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-invalid-code

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

With an assignment :


$ cat z3.f90
program p
   character(:), allocatable :: x[:]
   character(:), allocatable :: y[:]
   y = x(:)(2:)
end


$ gfortran-12-20210926 -c z3.f90 -fcoarray=lib 
z3.f90:4:8:

    4 |    y = x(:)(2:)
      |        1
Error: Rank mismatch in array reference at (1) (1/0)

[Bug fortran/102532] [10/11/12 Regression] ICE in gfc_get_corank, at fortran/expr.c:5769

[rguenth at gcc dot gnu.org]

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

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

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

[Bug fortran/102532] [10/11/12/13 Regression] ICE in gfc_get_corank, at fortran/expr.c:5769

[jakub at gcc dot gnu.org]

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

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

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

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

[Bug fortran/102532] [10/11/12/13/14 Regression] ICE in gfc_get_corank, at fortran/expr.c:5769

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Paul Thomas <pault@gcc.gnu.org>:

https://gcc.gnu.org/g:3c2eba4b7a2355ed5099e35332388206c484744d

commit r14-1487-g3c2eba4b7a2355ed5099e35332388206c484744d
Author: Paul Thomas <pault@gcc.gnu.org>
Date:   Fri Jun 2 08:41:45 2023 +0100

    Fortran: Fix some problems blocking associate meta-bug [PR87477]

    2023-06-02  Paul Thomas  <pault@gcc.gnu.org>

    gcc/fortran
            PR fortran/87477
            * parse.cc (parse_associate): Replace the existing evaluation
            of the target rank with calls to gfc_resolve_ref and
            gfc_expression_rank. Identify untyped target function results
            with structure constructors by finding the appropriate derived
            type.
            * resolve.cc (resolve_symbol): Allow associate variables to be
            assumed shape.

    gcc/testsuite/
            PR fortran/87477
            * gfortran.dg/associate_54.f90 : Cope with extra error.

            PR fortran/102109
            * gfortran.dg/pr102109.f90 : New test.

            PR fortran/102112
            * gfortran.dg/pr102112.f90 : New test.

            PR fortran/102190
            * gfortran.dg/pr102190.f90 : New test.

            PR fortran/102532
            * gfortran.dg/pr102532.f90 : New test.

            PR fortran/109948
            * gfortran.dg/pr109948.f90 : New test.

            PR fortran/99326
            * gfortran.dg/pr99326.f90 : New test.

[Bug fortran/102532] [10/11/12/13/14 Regression] ICE in gfc_get_corank, at fortran/expr.c:5769

[pault at gcc dot gnu.org]

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

Paul Thomas <pault at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #4 from Paul Thomas <pault at gcc dot gnu.org> ---
Hi Gerhard,

This is fixed on trunk (14-branch). I am going to close the PR for housekeeping
purposes but will be sure to include the patch in a cumulative backport.

Thanks for the report.

Paul

[Bug fortran/102532] [10/11/12/13/14 Regression] ICE in gfc_get_corank, at fortran/expr.c:5769

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Paul Thomas <pault@gcc.gnu.org>:

https://gcc.gnu.org/g:d6997a5aab7aaa325946a6283bfee8ac2bd9f540

commit r13-7761-gd6997a5aab7aaa325946a6283bfee8ac2bd9f540
Author: Paul Thomas <pault@gcc.gnu.org>
Date:   Sun Aug 27 09:51:32 2023 +0100

    Fortran: Fix some problems blocking associate meta-bug [PR87477]

    2023-08-27  Paul Thomas  <pault@gcc.gnu.org>

    gcc/fortran
            PR fortran/87477
            * parse.cc (parse_associate): Replace the existing evaluation
            of the target rank with calls to gfc_resolve_ref and
            gfc_expression_rank. Identify untyped target function results
            with structure constructors by finding the appropriate derived
            type.
            * resolve.cc (resolve_symbol): Allow associate variables to be
            assumed shape.

    gcc/testsuite/
            PR fortran/87477
            * gfortran.dg/associate_54.f90 : Cope with extra error.

            PR fortran/102109
            * gfortran.dg/pr102109.f90 : New test.

            PR fortran/102112
            * gfortran.dg/pr102112.f90 : New test.

            PR fortran/102190
            * gfortran.dg/pr102190.f90 : New test.

            PR fortran/102532
            * gfortran.dg/pr102532.f90 : New test.

            PR fortran/109948
            * gfortran.dg/pr109948.f90 : New test.

            PR fortran/99326
            * gfortran.dg/pr99326.f90 : New test.