[Bug fortran/77693] ICE in rtl_for_decl_init, at dwarf2out.c:17378

[Bug fortran/77693] ICE in rtl_for_decl_init, at dwarf2out.c:17378

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
   Last reconfirmed|2016-09-22 00:00:00         |2021-7-24

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
For the testcase in comment #0, I still get a crash.
and I still see:
static complex(kind=4) * a = __complex__ (1.0e+0, 2.0e+0);

[Bug fortran/77693] ICE in rtl_for_decl_init, at dwarf2out.c:17378

[anlauf at gcc dot gnu.org]

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

--- Comment #6 from anlauf at gcc dot gnu.org ---
I believe this is actually invalid code.  One cannot initialize the pointer
using the data statement as in the given example.

A valid variant (which is accepted and works as expected) is:

program p
  complex, pointer :: a
  real :: z
  complex, target  :: b = (1.,2.)
  data a /b/
  z = a
  print *, z
end

The closest text I can find in F2018 is:

8.4(2): If null-init appears, the initial association status of the object
is disassociated. If initial-data-target appears, the object is initially
associated with the target.

7.5.4.6(4): If initial-data-target appears for a data pointer component, that
component in any object of the type is initially associated with the target
or becomes associated with the target as specified in 19.5.2.3.

19.5.2.3 Events that cause pointers to become associated


An ice-on-invalid remains, though.

[Bug fortran/77693] ICE in rtl_for_decl_init, at dwarf2out.c:17378

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |anlauf at gcc dot gnu.org
                 CC|                            |anlauf at gcc dot gnu.org
             Status|NEW                         |ASSIGNED

--- Comment #7 from anlauf at gcc dot gnu.org ---
Patch at: https://gcc.gnu.org/pipermail/fortran/2022-February/057529.html

[Bug fortran/77693] ICE in rtl_for_decl_init, at dwarf2out.c:17378

[cvs-commit at gcc dot gnu.org]

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

--- Comment #8 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Harald Anlauf <anlauf@gcc.gnu.org>:

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

commit r12-7305-ge49508ac6b36adb8a2056c5a1fb6e0178de2439d
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Wed Feb 9 21:54:29 2022 +0100

    Fortran: improve check of pointer initialization in DATA statements

    gcc/fortran/ChangeLog:

            PR fortran/77693
            * data.cc (gfc_assign_data_value): If a variable in a data
            statement has the POINTER attribute, check for allowed initial
            data target that is compatible with pointer assignment.
            * gfortran.h (IS_POINTER): New macro.

    gcc/testsuite/ChangeLog:

            PR fortran/77693
            * gfortran.dg/data_pointer_2.f90: New test.

[Bug fortran/77693] ICE in rtl_for_decl_init, at dwarf2out.c:17378

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
   Target Milestone|---                         |12.0
         Resolution|---                         |FIXED

--- Comment #9 from anlauf at gcc dot gnu.org ---
Fixed for gcc-12.  Closing.

Thanks for the report!