[Bug fortran/99837] New: ICE in parse_associate, at fortran/parse.c:4780

[Bug fortran/99837] New: ICE in parse_associate, at fortran/parse.c:4780

[gscfq@t-online.de]

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

            Bug ID: 99837
           Summary: ICE in parse_associate, at fortran/parse.c:4780
           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: ---

Follow-up of pr88357, affects versions down to at least r5.
With a missing attribute allocatable or pointer :


$ cat z1.f90
program p
   type t
      integer, allocatable :: a(:)
   end type
   class(t) :: x[:]
   associate (y => x)
   end associate
end


$ cat z2.f90
program p
   type t
      integer, allocatable :: a(:)
   end type
   class(t) :: x[*]
   associate (y => x)
   end associate
end


$ gfortran-11-20210328 -c z1.f90 -fcoarray=single
f951: internal compiler error: in parse_associate, at fortran/parse.c:4780
0x6e3f39 parse_associate
        ../../gcc/fortran/parse.c:4780
0x6e3f39 parse_executable
        ../../gcc/fortran/parse.c:5524
0x6e401f parse_progunit
        ../../gcc/fortran/parse.c:5922
0x6e5671 gfc_parse_file()
        ../../gcc/fortran/parse.c:6437
0x7320ef gfc_be_parse_file
        ../../gcc/fortran/f95-lang.c:212



With that attribute :

$ cat z0z1.f90
program p
   type t
      integer, allocatable :: a(:)
   end type
   class(t), allocatable :: x[:]
   associate (y => x)
   end associate
end

$ gfortran-11-20210328 -c z0z1.f90 -fcoarray=single
z0z1.f90:1:9:

    1 | program p
      |         1
Error: Pointer assignment target in initialization expression does not have the
TARGET attribute at (1)

[Bug fortran/99837] ICE in parse_associate, at fortran/parse.c:4780

[gscfq@t-online.de]

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

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

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

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

Similar cases with "select type" instead :


$ cat z3.f90
program p
   type t
      integer, allocatable :: a(:)
   end type
   class(t) :: x[:]
   select type (y => x)
   end select
end


$ cat z4.f90
program p
   type t
      integer, allocatable :: a(:)
   end type
   class(t) :: x[*]
   select type (y => x)
   end select
end

[Bug fortran/99837] ICE in parse_associate, at fortran/parse.c:4780

[kargl at gcc dot gnu.org]

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

kargl at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
                 CC|                            |kargl at gcc dot gnu.org
   Last reconfirmed|                            |2024-02-28
     Ever confirmed|0                           |1

--- Comment #2 from kargl at gcc dot gnu.org ---
(In reply to G. Steinmetz from comment #0)
> Follow-up of pr88357, affects versions down to at least r5.
> With a missing attribute allocatable or pointer :
> 
> $ cat z1.f90
> program p
>    type t
>       integer, allocatable :: a(:)
>    end type
>    class(t) :: x[:]
>    associate (y => x)
>    end associate
> end

This now gives 

% gfcx -o z -fcoarray=single a.f90
a.f90:6:19:

    6 |    class(t) :: x[:]
      |                   1
Error: Coarray variable 'x' at (1) shall not have codimensions with deferred
shape


> $ cat z2.f90
> program p
>    type t
>       integer, allocatable :: a(:)
>    end type
>    class(t) :: x[*]
>    associate (y => x)
>    end associate
> end

This gives

% gfcx -o z -fcoarray=single a.f90
a.f90:6:19:

    6 |    class(t) :: x[*]
      |                   1
Error: CLASS variable 'x' at (1) must be dummy, allocatable or pointer

[Bug fortran/99837] ICE in parse_associate, at fortran/parse.c:4780

[kargl at gcc dot gnu.org]

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

kargl at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4

--- Comment #3 from kargl at gcc dot gnu.org ---
(In reply to G. Steinmetz from comment #1)
> Similar cases with "select type" instead :
> 
> $ cat z3.f90
> program p
>    type t
>       integer, allocatable :: a(:)
>    end type
>    class(t) :: x[:]
>    select type (y => x)
>    end select
> end
> 
> $ cat z4.f90
> program p
>    type t
>       integer, allocatable :: a(:)
>    end type
>    class(t) :: x[*]
>    select type (y => x)
>    end select
> end

These test still fail.