[Bug fortran/103607] New: [9/10/11/12 Regression] ICE in do_subscript, at fortran/frontend-passes.c:2927

[Bug fortran/103607] New: [9/10/11/12 Regression] ICE in do_subscript, at fortran/frontend-passes.c:2927

[gscfq@t-online.de]

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

            Bug ID: 103607
           Summary: [9/10/11/12 Regression] ICE in do_subscript, at
                    fortran/frontend-passes.c:2927
           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 with r8, before 20180525 :
(gcc configured with --enable-checking=yes)


$ cat z1.f90
program p
   integer :: i, x(abs(2.))
   do i = 1, 2
      x(i) = 0
   end do
end


$ gfortran-12-20211205 -c z1.f90
z1.f90:2:19:

    2 |    integer :: i, x(abs(2.))
      |                   1
Error: Expression at (1) must be of INTEGER type, found REAL
z1.f90:2:27:

    2 |    integer :: i, x(abs(2.))
      |                           1
Error: The module or main program array 'x' at (1) must have constant shape
f951: internal compiler error: Segmentation fault
0xf0b99f crash_signal
        ../../gcc/toplev.c:322
0x956154 do_subscript
        ../../gcc/fortran/frontend-passes.c:2927
0x956154 do_function
        ../../gcc/fortran/frontend-passes.c:2706
0x952495 gfc_expr_walker(gfc_expr**, int (*)(gfc_expr**, int*, void*), void*)
        ../../gcc/fortran/frontend-passes.c:5223
0x954601 gfc_code_walker(gfc_code**, int (*)(gfc_code**, int*, void*), int
(*)(gfc_expr**, int*, void*), void*)
        ../../gcc/fortran/frontend-passes.c:5661
0x954697 gfc_code_walker(gfc_code**, int (*)(gfc_code**, int*, void*), int
(*)(gfc_expr**, int*, void*), void*)
        ../../gcc/fortran/frontend-passes.c:5669
0x95570b doloop_warn
        ../../gcc/fortran/frontend-passes.c:3059
0x955c5a gfc_run_passes(gfc_namespace*)
        ../../gcc/fortran/frontend-passes.c:156
0x856467 gfc_resolve(gfc_namespace*)
        ../../gcc/fortran/resolve.c:17572
0x83e764 resolve_all_program_units
        ../../gcc/fortran/parse.c:6586
0x83e764 gfc_parse_file()
        ../../gcc/fortran/parse.c:6842
0x88c73f gfc_be_parse_file
        ../../gcc/fortran/f95-lang.c:216

[Bug fortran/103607] [9/10/11/12 Regression] ICE in do_subscript, at fortran/frontend-passes.c:2927

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
           Assignee|unassigned at gcc dot gnu.org      |anlauf at gcc dot gnu.org
                 CC|                            |anlauf at gcc dot gnu.org
   Last reconfirmed|                            |2021-12-07
             Status|UNCONFIRMED                 |ASSIGNED

--- Comment #1 from anlauf at gcc dot gnu.org ---
Patch: https://gcc.gnu.org/pipermail/fortran/2021-December/057139.html

[Bug fortran/103607] [9/10/11/12 Regression] ICE in do_subscript, at fortran/frontend-passes.c:2927

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 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:9eec77c0df9e5c67454a2e8f83246104458ba4f0

commit r12-5829-g9eec77c0df9e5c67454a2e8f83246104458ba4f0
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Tue Dec 7 21:34:31 2021 +0100

    Fortran: perform array subscript checks only for valid INTEGER bounds

    gcc/fortran/ChangeLog:

            PR fortran/103607
            * frontend-passes.c (do_subscript): Ensure that array bounds are
            of type INTEGER before performing checks on array subscripts.

    gcc/testsuite/ChangeLog:

            PR fortran/103607
            * gfortran.dg/pr103607.f90: New test.

[Bug fortran/103607] [9/10/11/12 Regression] ICE in do_subscript, at fortran/frontend-passes.c:2927

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |9.5

[Bug fortran/103607] [9/10/11/12 Regression] ICE in do_subscript, at fortran/frontend-passes.c:2927

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |tkoenig at gcc dot gnu.org

--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
Btw. started with r8-3425-g15e23330102f2c2a.

[Bug fortran/103607] [9/10/11/12 Regression] ICE in do_subscript, at fortran/frontend-passes.c:2927

[cvs-commit at gcc dot gnu.org]

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

--- 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:8ff9ed7f4f7e80b4602524689dc486cf35e84e87

commit r11-9365-g8ff9ed7f4f7e80b4602524689dc486cf35e84e87
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Tue Dec 7 21:34:31 2021 +0100

    Fortran: perform array subscript checks only for valid INTEGER bounds

    gcc/fortran/ChangeLog:

            PR fortran/103607
            * frontend-passes.c (do_subscript): Ensure that array bounds are
            of type INTEGER before performing checks on array subscripts.

    gcc/testsuite/ChangeLog:

            PR fortran/103607
            * gfortran.dg/pr103607.f90: New test.

    (cherry picked from commit 9eec77c0df9e5c67454a2e8f83246104458ba4f0)

[Bug fortran/103607] [9/10/11/12 Regression] ICE in do_subscript, at fortran/frontend-passes.c:2927

[cvs-commit at gcc dot gnu.org]

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

--- 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:45cbfabe01878c3efd8b24f3fef06baf48983308

commit r10-10330-g45cbfabe01878c3efd8b24f3fef06baf48983308
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Tue Dec 7 21:34:31 2021 +0100

    Fortran: perform array subscript checks only for valid INTEGER bounds

    gcc/fortran/ChangeLog:

            PR fortran/103607
            * frontend-passes.c (do_subscript): Ensure that array bounds are
            of type INTEGER before performing checks on array subscripts.

    gcc/testsuite/ChangeLog:

            PR fortran/103607
            * gfortran.dg/pr103607.f90: New test.

    (cherry picked from commit 9eec77c0df9e5c67454a2e8f83246104458ba4f0)

[Bug fortran/103607] [9/10/11/12 Regression] ICE in do_subscript, at fortran/frontend-passes.c:2927

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:8b1dae4d33285643c5f51d828aa6f31ffbfc33b7

commit r9-9863-g8b1dae4d33285643c5f51d828aa6f31ffbfc33b7
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Tue Dec 7 21:34:31 2021 +0100

    Fortran: perform array subscript checks only for valid INTEGER bounds

    gcc/fortran/ChangeLog:

            PR fortran/103607
            * frontend-passes.c (do_subscript): Ensure that array bounds are
            of type INTEGER before performing checks on array subscripts.

    gcc/testsuite/ChangeLog:

            PR fortran/103607
            * gfortran.dg/pr103607.f90: New test.

    (cherry picked from commit 9eec77c0df9e5c67454a2e8f83246104458ba4f0)

[Bug fortran/103607] [9/10/11/12 Regression] ICE in do_subscript, at fortran/frontend-passes.c:2927

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

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

--- Comment #7 from anlauf at gcc dot gnu.org ---
Fixed on all affected open branches.  Closing.

Thanks for the report!