[Bug fortran/113823] New: ice in gfc_get_element_type, at fortran/trans-types.cc:1286

[Bug fortran/113823] New: ice in gfc_get_element_type, at fortran/trans-types.cc:1286

[dcb314 at hotmail dot com]

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

            Bug ID: 113823
           Summary: ice in gfc_get_element_type, at
                    fortran/trans-types.cc:1286
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com
  Target Milestone: ---

Created attachment 57355
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57355&action=edit
F90 source code

The attached F90 code does this with trunk:

foundBugs $ ../results.20240206.asan.ubsan/bin/gfortran -c bug1006.f90
bug1006.f90:43:31:

   43 |     call takes_simple([s1, s2])
      |                               1
internal compiler error: in gfc_get_element_type, at
fortran/trans-types.cc:1286
0x8f8b51 gfc_get_element_type(tree_node*)
       
/home/dcb38/gcc/working/gcc/../../trunk.20210101/gcc/fortran/trans-types.cc:1286

This is the second ice from the flang test suite. 
bug1006.f90 is a copy of Lower/HLFIR/array-ctor-derived.f90.

[Bug fortran/113823] ice in gfc_get_element_type, at fortran/trans-types.cc:1286

[kargl at gcc dot gnu.org]

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

kargl at gcc dot gnu.org changed:

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

--- Comment #1 from kargl at gcc dot gnu.org ---
(In reply to David Binderman from comment #0)
>
> This is the second ice from the flang test suite. 

If you're keep score
https://discourse.llvm.org/t/proposal-rename-flang-new-to-flang/69462/57

Confirmed.

[Bug fortran/113823] ice in gfc_get_element_type, at fortran/trans-types.cc:1286

[dcb314 at hotmail dot com]

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

--- Comment #2 from David Binderman <dcb314 at hotmail dot com> ---
(In reply to kargl from comment #1)
> (In reply to David Binderman from comment #0)
> >
> > This is the second ice from the flang test suite. 
> 
> If you're keep score
> https://discourse.llvm.org/t/proposal-rename-flang-new-to-flang/69462/57

Interesting. Thanks.

32 more ice to be reported. There are probably some duplicates
amongst that group.

Hopefully I can report most or all of these before the next release.

[Bug fortran/113823] ice in gfc_get_element_type, at fortran/trans-types.cc:1286

[kargl at gcc dot gnu.org]

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

--- Comment #3 from kargl at gcc dot gnu.org ---
(In reply to David Binderman from comment #2)
> (In reply to kargl from comment #1)
> > (In reply to David Binderman from comment #0)
> > >
> > > This is the second ice from the flang test suite. 
> > 
> > If you're keep score
> > https://discourse.llvm.org/t/proposal-rename-flang-new-to-flang/69462/57
> 
> Interesting. Thanks.
> 
> 32 more ice to be reported. There are probably some duplicates
> amongst that group.
> 
> Hopefully I can report most or all of these before the next release.

If you do post the others, is it possible to include a URL to LLVM
repository?  This will allow us to give proper credit for the code.

[Bug fortran/113823] ice in gfc_get_element_type, at fortran/trans-types.cc:1286

[dcb314 at hotmail dot com]

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

--- Comment #4 from David Binderman <dcb314 at hotmail dot com> ---
(In reply to kargl from comment #3)
> If you do post the others, is it possible to include a URL to LLVM
> repository?  This will allow us to give proper credit for the code.

https://github.com/llvm/llvm-project/

[Bug fortran/113823] ice in gfc_get_element_type, at fortran/trans-types.cc:1286

[sgk at troutmask dot apl.washington.edu]

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

--- Comment #5 from Steve Kargl <sgk at troutmask dot apl.washington.edu> ---
On Thu, Feb 08, 2024 at 07:38:59PM +0000, dcb314 at hotmail dot com wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113823
> 
> --- Comment #4 from David Binderman <dcb314 at hotmail dot com> ---
> (In reply to kargl from comment #3)
> > If you do post the others, is it possible to include a URL to LLVM
> > repository?  This will allow us to give proper credit for the code.
> 
> https://github.com/llvm/llvm-project/
> 

That's not what I meant.  There is no bug1006.f90 in
the llvm-project repo.  What is the actual URL to the
actual testcase?  It should look something like

https://github.com/llvm/llvm-project/tree/main/flang/test/bug1006.f90

[Bug fortran/113823] ice in gfc_get_element_type, at fortran/trans-types.cc:1286

[dcb314 at hotmail dot com]

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

--- Comment #6 from David Binderman <dcb314 at hotmail dot com> ---
(In reply to Steve Kargl from comment #5)
> That's not what I meant.  There is no bug1006.f90 in
> the llvm-project repo.  What is the actual URL to the
> actual testcase?  It should look something like
> 
> https://github.com/llvm/llvm-project/tree/main/flang/test/bug1006.f90

bug1006.f90 is my local file name for it. 

It is just a copy of the original file
Lower/HLFIR/array-ctor-derived.f90 in the flang test suite.

That has an URL of 
https://github.com/llvm/llvm-project/tree/main/flang/test/Lower/HLFIR/array-ctor-derived.f90

[Bug fortran/113823] ice in gfc_get_element_type, at fortran/trans-types.cc:1286

[sgk at troutmask dot apl.washington.edu]

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

--- Comment #7 from Steve Kargl <sgk at troutmask dot apl.washington.edu> ---
On Thu, Feb 08, 2024 at 08:43:08PM +0000, dcb314 at hotmail dot com wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113823
> 
> --- Comment #6 from David Binderman <dcb314 at hotmail dot com> ---
> (In reply to Steve Kargl from comment #5)
> > That's not what I meant.  There is no bug1006.f90 in
> > the llvm-project repo.  What is the actual URL to the
> > actual testcase?  It should look something like
> > 
> > https://github.com/llvm/llvm-project/tree/main/flang/test/bug1006.f90
> 
> bug1006.f90 is my local file name for it. 
> 
> It is just a copy of the original file
> Lower/HLFIR/array-ctor-derived.f90 in the flang test suite.
> 
> That has an URL of 
> https://github.com/llvm/llvm-project/tree/main/flang/test/Lower/HLFIR/array-ctor-derived.f90
> 

Thanks.  This may allow a gfortran contributor to see how
other developers handled the code.  Although not with this
bug report, some contain an analysis of what the Fortran
standard requires with a particular piece of code.