[Bug fortran/96418] New: Test coarray_alloc_comp_4.f08 ICEs

[Bug fortran/96418] New: Test coarray_alloc_comp_4.f08 ICEs

[jrfsousa at gmail dot com]

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

            Bug ID: 96418
           Summary: Test coarray_alloc_comp_4.f08 ICEs
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jrfsousa at gmail dot com
  Target Milestone: ---

Hi all!

Test coarray_alloc_comp_4.f08 ICEs if using -fcoarray=single instead of
-fcoarray=lib.

Thank you very much.

Best regards,
José Rui

[Bug fortran/96418] Test coarray_alloc_comp_4.f08 ICEs

[jrfsousa at gmail dot com]

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

--- Comment #1 from José Rui Faustino de Sousa <jrfsousa at gmail dot com> ---
And coarray_alloc_comp_3.f08 too.

Best regards,
José Rui

[Bug fortran/96418] Test coarray_alloc_comp_4.f08 ICEs

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2020-08-03
                 CC|                            |anlauf at gcc dot gnu.org
           Priority|P3                          |P4
     Ever confirmed|0                           |1

--- Comment #2 from anlauf at gcc dot gnu.org ---
Running under gdb, I get the same traceback for both.

(gdb) r coarray_alloc_comp_3.f08 -fcoarray=single

 coarray_alloc_comp_3coarray_alloc_comp_3.f08:43:0:

   43 |   deallocate(obj%link)
      | 
internal compiler error: in gfc_conv_descriptor_data_get, at
fortran/trans-array.c:148
0x75e30d gfc_conv_descriptor_data_get(tree_node*)
        ../../gcc-trunk/gcc/fortran/trans-array.c:148
0x75b904 gfc_deallocate_with_status(tree_node*, tree_node*, tree_node*,
tree_node*, tree_node*, bool, gfc_expr*, int, tree_node*, tree_node*)
        ../../gcc-trunk/gcc/fortran/trans.c:1378
0x772b68 structure_alloc_comps
        ../../gcc-trunk/gcc/fortran/trans-array.c:8916
0x77430a gfc_deallocate_alloc_comp(gfc_symbol*, tree_node*, int, int)
        ../../gcc-trunk/gcc/fortran/trans-array.c:9711
0x75c30a gfc_deallocate_scalar_with_status(tree_node*, tree_node*, tree_node*,
bool, gfc_expr*, gfc_typespec, bool)
        ../../gcc-trunk/gcc/fortran/trans.c:1597
0x7fce5f gfc_trans_deallocate(gfc_code*)
        ../../gcc-trunk/gcc/fortran/trans-stmt.c:7350
0x757717 trans_code
        ../../gcc-trunk/gcc/fortran/trans.c:2040
0x78ec05 gfc_generate_function_code(gfc_namespace*)
        ../../gcc-trunk/gcc/fortran/trans-decl.c:6845
0x7071b7 translate_all_program_units
        ../../gcc-trunk/gcc/fortran/parse.c:6347
0x7071b7 gfc_parse_file()
        ../../gcc-trunk/gcc/fortran/parse.c:6616
0x753a8f gfc_be_parse_file
        ../../gcc-trunk/gcc/fortran/f95-lang.c:212

[Bug fortran/96418] Test coarray_alloc_comp_4.f08 ICEs

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |vehre at gcc dot gnu.org

--- Comment #3 from anlauf at gcc dot gnu.org ---
CC'ing Andre as the author of commit r7-5273 .

[Bug fortran/96418] Test coarray_alloc_comp_4.f08 ICEs

[vehre at gcc dot gnu.org]

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

Andre Vehreschild <vehre at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED

--- Comment #4 from Andre Vehreschild <vehre at gcc dot gnu.org> ---
Well, it's better not to try to ref a non-array as an array.

[Bug fortran/96418] Test coarray_alloc_comp_4.f08 ICEs

[vehre at gcc dot gnu.org]

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

Andre Vehreschild <vehre at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |WAITING

--- Comment #5 from Andre Vehreschild <vehre at gcc dot gnu.org> ---
Patch submitted as:
https://gcc.gnu.org/pipermail/fortran/2020-August/054943.html
Waiting for review.

[Bug fortran/96418] Test coarray_alloc_comp_4.f08 ICEs

[anlauf at gcc dot gnu.org]

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

--- Comment #6 from anlauf at gcc dot gnu.org ---
(In reply to Andre Vehreschild from comment #5)
> Patch submitted as:
> https://gcc.gnu.org/pipermail/fortran/2020-August/054943.html
> Waiting for review.

Hi Andre,

any progress here?

To me, the patch looks fairly simple / simple enough so that you could
apply it if it still solves the issue.   Or ping on the ML.

[Bug fortran/96418] Test coarray_alloc_comp_4.f08 ICEs

[dominiq at lps dot ens.fr]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dominiq at lps dot ens.fr

--- Comment #7 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
*** Bug 98764 has been marked as a duplicate of this bug. ***

[Bug fortran/96418] Test coarray_alloc_comp_4.f08 ICEs

[vehre at gcc dot gnu.org]

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

--- Comment #8 from Andre Vehreschild <vehre at gcc dot gnu.org> ---
Resumitted as https://gcc.gnu.org/pipermail/fortran/2024-June/060577.html .
Waiting for review.

[Bug fortran/96418] Test coarray_alloc_comp_4.f08 ICEs

[vehre at gcc dot gnu.org]

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

Andre Vehreschild <vehre at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |aldot at gcc dot gnu.org

--- Comment #9 from Andre Vehreschild <vehre at gcc dot gnu.org> ---
*** Bug 103112 has been marked as a duplicate of this bug. ***

[Bug fortran/96418] Test coarray_alloc_comp_4.f08 ICEs

[cvs-commit at gcc dot gnu.org]

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

--- Comment #10 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Andre Vehreschild <vehre@gcc.gnu.org>:

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

commit r15-1369-gdb75a6657e9de6ee7effe46cd2626d9bb946f2e6
Author: Andre Vehreschild <vehre@gcc.gnu.org>
Date:   Tue Jun 11 15:24:55 2024 +0200

    Fix ICE when compiling with -fcoarray=single, when derefing a non-array.

                PR fortran/96418
                PR fortran/103112

    gcc/fortran/ChangeLog:

            * trans.cc (gfc_deallocate_with_status): Check that object to deref
            is an array, before applying array deref.

    gcc/testsuite/ChangeLog:

            * gfortran.dg/coarray_alloc_comp_3.f08: Moved to...
            * gfortran.dg/coarray/alloc_comp_8.f90: ...here.
            Should be tested for both -fcoarray=single and lib, resp.
            * gfortran.dg/coarray_alloc_comp_4.f08: Fix program name.

[Bug fortran/96418] Test coarray_alloc_comp_4.f08 ICEs

[vehre at gcc dot gnu.org]

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

Andre Vehreschild <vehre at gcc dot gnu.org> changed:

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