[Bug fortran/102816] New: [12 Regression] ICE in resolve_structure_cons, at fortran/resolve.c:1467

[Bug fortran/102816] New: [12 Regression] ICE in resolve_structure_cons, at fortran/resolve.c:1467

[gscfq@t-online.de]

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

            Bug ID: 102816
           Summary: [12 Regression] ICE in resolve_structure_cons, at
                    fortran/resolve.c:1467
           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 between 20211010 and 20211017 :


$ cat z1.f90
program p
   type t
      integer :: a([2])
   end type
   type(t) :: x = t([3, 4])
end


$ gfortran-12-20211017 -c z1.f90
f951: internal compiler error: in resolve_structure_cons, at
fortran/resolve.c:1467
0x81a894 resolve_structure_cons
        ../../gcc/fortran/resolve.c:1466
0x80a31c resolve_generic_f
        ../../gcc/fortran/resolve.c:2799
0x80a31c resolve_function
        ../../gcc/fortran/resolve.c:3301
0x80a31c gfc_resolve_expr(gfc_expr*)
        ../../gcc/fortran/resolve.c:7143
0x79c024 gfc_reduce_init_expr(gfc_expr*)
        ../../gcc/fortran/expr.c:3125
0x79f290 gfc_match_init_expr(gfc_expr**)
        ../../gcc/fortran/expr.c:3173
0x789a04 variable_decl
        ../../gcc/fortran/decl.c:3019
0x789a04 gfc_match_data_decl()
        ../../gcc/fortran/decl.c:6328
0x7f2d63 match_word
        ../../gcc/fortran/parse.c:67
0x7f2d63 decode_statement
        ../../gcc/fortran/parse.c:378
0x7f47aa next_free
        ../../gcc/fortran/parse.c:1388
0x7f47aa next_statement
        ../../gcc/fortran/parse.c:1620
0x7f5ecb parse_spec
        ../../gcc/fortran/parse.c:4159
0x7f8c9c parse_progunit
        ../../gcc/fortran/parse.c:6125
0x7fa421 gfc_parse_file()
        ../../gcc/fortran/parse.c:6666
0x8476bf gfc_be_parse_file
        ../../gcc/fortran/f95-lang.c:216

[Bug fortran/102816] [12 Regression] ICE in resolve_structure_cons, at fortran/resolve.c:1467 since r12-4452-g1e819bd95ebeefc1

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2021-10-19
            Summary|[12 Regression] ICE in      |[12 Regression] ICE in
                   |resolve_structure_cons, at  |resolve_structure_cons, at
                   |fortran/resolve.c:1467      |fortran/resolve.c:1467
                   |                            |since
                   |                            |r12-4452-g1e819bd95ebeefc1
             Status|UNCONFIRMED                 |NEW
                 CC|                            |anlauf at gcc dot gnu.org,
                   |                            |marxin at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r12-4452-g1e819bd95ebeefc1.

[Bug fortran/102816] [12 Regression] ICE in resolve_structure_cons, at fortran/resolve.c:1467 since r12-4452-g1e819bd95ebeefc1

[rguenth at gcc dot gnu.org]

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

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

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

[Bug fortran/102816] [12 Regression] ICE in resolve_structure_cons, at fortran/resolve.c:1467 since r12-4452-g1e819bd95ebeefc1

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

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

--- Comment #2 from anlauf at gcc dot gnu.org ---
Mine.

Patch: https://gcc.gnu.org/pipermail/fortran/2021-October/056772.html

[Bug fortran/102816] [12 Regression] ICE in resolve_structure_cons, at fortran/resolve.c:1467 since r12-4452-g1e819bd95ebeefc1

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 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:99af0b2f0fe1c0dc8c6d558157e700326d52816a

commit r12-4719-g99af0b2f0fe1c0dc8c6d558157e700326d52816a
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Tue Oct 26 20:51:46 2021 +0200

    Fortran: error recovery on initializing invalid derived type array
component

    gcc/fortran/ChangeLog:

            PR fortran/102816
            * resolve.c (resolve_structure_cons): Reject invalid array spec of
            a DT component referenced in a structure constructor.

    gcc/testsuite/ChangeLog:

            PR fortran/102816
            * gfortran.dg/pr102816.f90: New test.

[Bug fortran/102816] [12 Regression] ICE in resolve_structure_cons, at fortran/resolve.c:1467 since r12-4452-g1e819bd95ebeefc1

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:3371e7f18df52867b0b88966bd98d3f1eff6f815

commit r11-9217-g3371e7f18df52867b0b88966bd98d3f1eff6f815
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Tue Oct 26 20:51:46 2021 +0200

    Fortran: error recovery on initializing invalid derived type array
component

    gcc/fortran/ChangeLog:

            PR fortran/102816
            * resolve.c (resolve_structure_cons): Reject invalid array spec of
            a DT component referenced in a structure constructor.

    gcc/testsuite/ChangeLog:

            PR fortran/102816
            * gfortran.dg/pr102816.f90: New test.

    (cherry picked from commit 99af0b2f0fe1c0dc8c6d558157e700326d52816a)

[Bug fortran/102816] [12 Regression] ICE in resolve_structure_cons, at fortran/resolve.c:1467 since r12-4452-g1e819bd95ebeefc1

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:63cc40ed45ba2dd5313967364606524c6c621d03

commit r10-10271-g63cc40ed45ba2dd5313967364606524c6c621d03
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Tue Oct 26 20:51:46 2021 +0200

    Fortran: error recovery on initializing invalid derived type array
component

    gcc/fortran/ChangeLog:

            PR fortran/102816
            * resolve.c (resolve_structure_cons): Reject invalid array spec of
            a DT component referenced in a structure constructor.

    gcc/testsuite/ChangeLog:

            PR fortran/102816
            * gfortran.dg/pr102816.f90: New test.

    (cherry picked from commit 99af0b2f0fe1c0dc8c6d558157e700326d52816a)

[Bug fortran/102816] [12 Regression] ICE in resolve_structure_cons, at fortran/resolve.c:1467 since r12-4452-g1e819bd95ebeefc1

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

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

--- Comment #6 from anlauf at gcc dot gnu.org ---
Fixed on mainline for gcc-12, and on 11- and 10-branch.  Closing.

Thanks for the report!