[Bug fortran/102715] New: [12 Regression] ICE in gfc_simplify_transpose, at fortran/simplify.c:8184

[Bug fortran/102715] New: [12 Regression] ICE in gfc_simplify_transpose, at fortran/simplify.c:8184

[gscfq@t-online.de]

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

            Bug ID: 102715
           Summary: [12 Regression] ICE in gfc_simplify_transpose, at
                    fortran/simplify.c:8184
           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: ---

Changed between 20211003 and 20211010 :
(follow-up of pr102520)


$ cat z1.f90
program p
   type t
   end type
   type(t), parameter :: a(4) = t()
   type(t), parameter :: b(2,2) = reshape(a, [2])
   type(t), parameter :: c(2,2) = transpose(b)
end


$ gfortran-12-20211003 -c z1.f90
z1.f90:5:31:

    5 |    type(t), parameter :: b(2,2) = reshape(a, [2])
      |                               1
Error: Incompatible ranks 2 and 1 in assignment at (1)


$ gfortran-12-20211010 -c z1.f90
f951: internal compiler error: Segmentation fault
0xd43fcf crash_signal
        ../../gcc/toplev.c:326
0x82d8f0 gfc_simplify_transpose(gfc_expr*)
        ../../gcc/fortran/simplify.c:8184
0x7aa66a do_simplify
        ../../gcc/fortran/intrinsic.c:4657
0x7b50ba gfc_intrinsic_func_interface(gfc_expr*, int)
        ../../gcc/fortran/intrinsic.c:5050
0x8078e9 resolve_unknown_f
        ../../gcc/fortran/resolve.c:2937
0x8078e9 resolve_function
        ../../gcc/fortran/resolve.c:3281
0x8078e9 gfc_resolve_expr(gfc_expr*)
        ../../gcc/fortran/resolve.c:7115
0x79a244 gfc_reduce_init_expr(gfc_expr*)
        ../../gcc/fortran/expr.c:3125
0x79d4b0 gfc_match_init_expr(gfc_expr**)
        ../../gcc/fortran/expr.c:3173
0x787c74 variable_decl
        ../../gcc/fortran/decl.c:3016
0x787c74 gfc_match_data_decl()
        ../../gcc/fortran/decl.c:6325
0x7f01d3 match_word
        ../../gcc/fortran/parse.c:65
0x7f01d3 decode_statement
        ../../gcc/fortran/parse.c:376
0x7f1c1a next_free
        ../../gcc/fortran/parse.c:1384
0x7f1c1a next_statement
        ../../gcc/fortran/parse.c:1616
0x7f333b parse_spec
        ../../gcc/fortran/parse.c:4151
0x7f610c parse_progunit
        ../../gcc/fortran/parse.c:6117
0x7f7891 gfc_parse_file()
        ../../gcc/fortran/parse.c:6658
0x84480f gfc_be_parse_file
        ../../gcc/fortran/f95-lang.c:216

[Bug fortran/102715] [12 Regression] ICE in gfc_simplify_transpose, at fortran/simplify.c:8184

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.0

[Bug fortran/102715] [12 Regression] ICE in gfc_simplify_transpose, at fortran/simplify.c:8184

[rguenth at gcc dot gnu.org]

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

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

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

[Bug fortran/102715] [12 Regression] ICE in gfc_simplify_transpose, at fortran/simplify.c:8184 since r12-4278-g74ccca380cde5e79

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2021-10-13
     Ever confirmed|0                           |1
            Summary|[12 Regression] ICE in      |[12 Regression] ICE in
                   |gfc_simplify_transpose, at  |gfc_simplify_transpose, at
                   |fortran/simplify.c:8184     |fortran/simplify.c:8184
                   |                            |since
                   |                            |r12-4278-g74ccca380cde5e79
                 CC|                            |anlauf at gcc dot gnu.org,
                   |                            |marxin at gcc dot gnu.org

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

[Bug fortran/102715] [12 Regression] ICE in gfc_simplify_transpose, at fortran/simplify.c:8184 since r12-4278-g74ccca380cde5e79

[anlauf at gcc dot gnu.org]

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

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 ---
Patch: https://gcc.gnu.org/pipermail/fortran/2021-October/056904.html

[Bug fortran/102715] [12 Regression] ICE in gfc_simplify_transpose, at fortran/simplify.c:8184 since r12-4278-g74ccca380cde5e79

[cvs-commit at gcc dot gnu.org]

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

--- 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:df2135e88a8f78c853b35246ad426b01b6d08378

commit r12-4973-gdf2135e88a8f78c853b35246ad426b01b6d08378
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Sat Nov 6 19:42:01 2021 +0100

    Fortran: error recovery on rank mismatch of array and its initializer

    gcc/fortran/ChangeLog:

            PR fortran/102715
            * decl.c (add_init_expr_to_sym): Reject rank mismatch between
            array and its initializer.

    gcc/testsuite/ChangeLog:

            PR fortran/102715
            * gfortran.dg/pr68019.f90: Adjust error message.
            * gfortran.dg/pr102715.f90: New test.

[Bug fortran/102715] [12 Regression] ICE in gfc_simplify_transpose, at fortran/simplify.c:8184 since r12-4278-g74ccca380cde5e79

[cvs-commit at gcc dot gnu.org]

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

--- 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:db1da3d37e33b0adcd7fed68cfdb96e8ee265ccf

commit r11-9215-gdb1da3d37e33b0adcd7fed68cfdb96e8ee265ccf
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Sat Nov 6 19:42:01 2021 +0100

    Fortran: error recovery on rank mismatch of array and its initializer

    gcc/fortran/ChangeLog:

            PR fortran/102715
            * decl.c (add_init_expr_to_sym): Reject rank mismatch between
            array and its initializer.

    gcc/testsuite/ChangeLog:

            PR fortran/102715
            * gfortran.dg/pr68019.f90: Adjust error message.
            * gfortran.dg/pr102715.f90: New test.

    (cherry picked from commit df2135e88a8f78c853b35246ad426b01b6d08378)

[Bug fortran/102715] [12 Regression] ICE in gfc_simplify_transpose, at fortran/simplify.c:8184 since r12-4278-g74ccca380cde5e79

[cvs-commit at gcc dot gnu.org]

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

--- 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:5625599e6f23622447418e6cbfcc080ecd0f2c28

commit r10-10269-g5625599e6f23622447418e6cbfcc080ecd0f2c28
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Sat Nov 6 19:42:01 2021 +0100

    Fortran: error recovery on rank mismatch of array and its initializer

    gcc/fortran/ChangeLog:

            PR fortran/102715
            * decl.c (add_init_expr_to_sym): Reject rank mismatch between
            array and its initializer.

    gcc/testsuite/ChangeLog:

            PR fortran/102715
            * gfortran.dg/pr68019.f90: Adjust error message.
            * gfortran.dg/pr102715.f90: New test.

    (cherry picked from commit df2135e88a8f78c853b35246ad426b01b6d08378)

[Bug fortran/102715] [12 Regression] ICE in gfc_simplify_transpose, at fortran/simplify.c:8184 since r12-4278-g74ccca380cde5e79

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

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

--- 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!