[Bug fortran/64771] New: ICE on invalid around check_dummy_characteristics / gfc_zero_size_array

[Bug fortran/64771] New: ICE on invalid around check_dummy_characteristics / gfc_zero_size_array

[burnus at gcc dot gnu.org]

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

            Bug ID: 64771
           Summary: ICE on invalid around check_dummy_characteristics /
                    gfc_zero_size_array
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: burnus at gcc dot gnu.org

The following program ICEs with "-fcoarray=single" and "-fcoarray=lib":

f951: internal compiler error: Segmentation fault
0xb8505f crash_signal
        ../../gcc/toplev.c:383
0x62e82b gfc_zero_size_array
        ../../gcc/fortran/arith.c:1637
0x62e82b reduce_binary0
        ../../gcc/fortran/arith.c:1651
0x62e82b eval_intrinsic_f3
        ../../gcc/fortran/arith.c:1700
0x666365 check_dummy_characteristics
        ../../gcc/fortran/interface.c:1212



      interface
      subroutine conj_grad ( colidx,
     >                       reduce_recv_starts,
     >                       reduce_rrecv_starts )
      integer            colidx(5), rowstr(4+1)
      integer   reduce_recv_starts(55)[0:*]
      end subroutine
      end interface
         call conj_grad ( colidx,
     >                    reduce_rrecv_starts )
      end
      subroutine conj_grad ( colidx,
     >                       reduce_exch_proc,
     >                       reduce_rrecv_starts )
      integer            colidx(5), rowstr(4+1)
      integer   reduce_exch_proc(55)
      end

[Bug fortran/64771] ICE(segfault) when passing coarrays around; ICE in gfc_zero_size_array in arith.c:1637

[dominiq at lps dot ens.fr]

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

--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Dup of 64772.

[Bug fortran/64771] ICE(segfault) when passing coarrays around; ICE in gfc_zero_size_array in arith.c:1637

[burnus at gcc dot gnu.org]

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

--- Comment #3 from Tobias Burnus <burnus at gcc dot gnu.org> ---
*** Bug 64772 has been marked as a duplicate of this bug. ***

[Bug fortran/64771] [4.9/5 Regression] ICE(segfault) when passing coarrays around; ICE in gfc_zero_size_array in arith.c:1637

[tkoenig at gcc dot gnu.org]

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

Thomas Koenig <tkoenig at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-01-24
   Target Milestone|---                         |4.9.3
            Summary|ICE(segfault) when passing  |[4.9/5 Regression]
                   |coarrays around; ICE in     |ICE(segfault) when passing
                   |gfc_zero_size_array in      |coarrays around; ICE in
                   |arith.c:1637                |gfc_zero_size_array in
                   |                            |arith.c:1637
     Ever confirmed|0                           |1

--- Comment #4 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
4.8 works, 4.9 and 5 don't.

[Bug fortran/64771] [4.9/5 Regression] ICE(segfault) when passing coarrays around; ICE in gfc_zero_size_array in arith.c:1637

[burnus at gcc dot gnu.org]

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

--- Comment #5 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Created attachment 34567
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34567&action=edit
Draft patch

[Bug fortran/64771] [4.9/5 Regression] ICE(segfault) when passing coarrays around; ICE in gfc_zero_size_array in arith.c:1637

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r197922.

[Bug fortran/64771] [4.9/5 Regression] ICE(segfault) when passing coarrays around; ICE in gfc_zero_size_array in arith.c:1637

[burnus at gcc dot gnu.org]

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

--- Comment #7 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Author: burnus
Date: Mon Jan 26 21:12:19 2015
New Revision: 220136

URL: https://gcc.gnu.org/viewcvs?rev=220136&root=gcc&view=rev
Log:
2015-01-26  Tobias Burnus  <burnus@net-b.de>

        PR fortran/64771
gcc/fortran/
        * interface.c (check_dummy_characteristics): Fix coarray
        * handling.

testsuite/
        * gfortran.dg/coarray_36.f: New.
        * gfortran.dg/coarray_37.f90: New.


Added:
    trunk/gcc/testsuite/gfortran.dg/coarray_36.f
    trunk/gcc/testsuite/gfortran.dg/coarray_37.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/interface.c
    trunk/gcc/testsuite/ChangeLog

[Bug fortran/64771] [4.9/5 Regression] ICE(segfault) when passing coarrays around; ICE in gfc_zero_size_array in arith.c:1637

[burnus at gcc dot gnu.org]

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

--- Comment #9 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Author: burnus
Date: Tue Jan 27 18:44:35 2015
New Revision: 220182

URL: https://gcc.gnu.org/viewcvs?rev=220182&root=gcc&view=rev
Log:
2015-01-27  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>

        PR fortran/64771
        * interface.c: Remove <algorithm>.
        (check_dummy_characteristics): Use MAX instead of std::max.


Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/interface.c

[Bug fortran/64771] [4.9/5 Regression] ICE(segfault) when passing coarrays around; ICE in gfc_zero_size_array in arith.c:1637

[burnus at gcc dot gnu.org]

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

Tobias Burnus <burnus at gcc dot gnu.org> changed:

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

--- Comment #11 from Tobias Burnus <burnus at gcc dot gnu.org> ---
FIXED on the trunk and the 4.9 branch.

[Bug fortran/64771] [4.9/5 Regression] ICE(segfault) when passing coarrays around; ICE in gfc_zero_size_array in arith.c:1637

[burnus at gcc dot gnu.org]

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

--- Comment #10 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Author: burnus
Date: Tue Jan 27 19:20:04 2015
New Revision: 220184

URL: https://gcc.gnu.org/viewcvs?rev=220184&root=gcc&view=rev
Log:
2015-01-27  Tobias Burnus  <burnus@net-b.de>

        PR fortran/64771
gcc/fortran/
        * interface.c (check_dummy_characteristics): Fix coarray
        handling.

testsuite/
        * gfortran.dg/coarray_36.f: New.
        * gfortran.dg/coarray_37.f90: New.


Modified:
    branches/gcc-4_9-branch/gcc/fortran/ChangeLog
    branches/gcc-4_9-branch/gcc/fortran/interface.c
    branches/gcc-4_9-branch/gcc/testsuite/ChangeLog

[Bug fortran/64771] [4.9/5 Regression] ICE(segfault) when passing coarrays around; ICE in gfc_zero_size_array in arith.c:1637

[burnus at gcc dot gnu.org]

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

--- Comment #12 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Author: burnus
Date: Tue Jan 27 19:52:45 2015
New Revision: 220188

URL: https://gcc.gnu.org/viewcvs?rev=220188&root=gcc&view=rev
Log:
Really add the following files, missed in r220184

2015-01-27  Tobias Burnus  <burnus@net-b.de>

        PR fortran/64771
        * gfortran.dg/coarray_36.f: New.
        * gfortran.dg/coarray_37.f90: New.


Added:
    branches/gcc-4_9-branch/gcc/testsuite/gfortran.dg/coarray_36.f
    branches/gcc-4_9-branch/gcc/testsuite/gfortran.dg/coarray_37.f90