http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51682
Bug #: 51682
Summary: Coarray ICEs when compiling with -fdefault-integer-8
Classification: Unclassified
Product: gcc
Version: 4.7.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: fortran
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: domi...@lps.ens.fr
CC: bur...@net-b.de
The following coarray tests give an ICE when compiled with -fdefault-integer-8:
FAIL: gfortran.dg/coarray/alloc_comp_1.f90 -fcoarray=lib -O2 -lcaf_single
(internal compiler error)
FAIL: gfortran.dg/coarray/image_index_1.f90 -fcoarray=lib -O2 -lcaf_single
(internal compiler error)
FAIL: gfortran.dg/coarray/image_index_2.f90 -fcoarray=lib -O2 -lcaf_single
(internal compiler error)
FAIL: gfortran.dg/coarray/lock_1.f90 -fcoarray=lib -O2 -lcaf_single (internal
compiler error)
FAIL: gfortran.dg/coarray/poly_run_1.f90 -fcoarray=lib -O2 -lcaf_single
(internal compiler error)
FAIL: gfortran.dg/coarray/poly_run_2.f90 -fcoarray=lib -O2 -lcaf_single
(internal compiler error)
FAIL: gfortran.dg/coarray/poly_run_3.f90 -fcoarray=lib -O2 -lcaf_single
(internal compiler error)
FAIL: gfortran.dg/coarray/scalar_alloc_1.f90 -fcoarray=lib -O2 -lcaf_single
(internal compiler error)
FAIL: gfortran.dg/coarray/this_image_2.f90 -fcoarray=lib -O2 -lcaf_single
(internal compiler error)
The ICEs are of the kind
[macbook] f90/bug% gfc
/opt/gcc/work/gcc/testsuite/gfortran.dg/coarray/alloc_comp_1.f90 -fcoarray=lib
-O2 -lcaf_single -fdefault-integer-8
/opt/gcc/work/gcc/testsuite/gfortran.dg/coarray/alloc_comp_1.f90: In function
'MAIN__':
/opt/gcc/work/gcc/testsuite/gfortran.dg/coarray/alloc_comp_1.f90:5:0: error:
type mismatch in binary expression
integer(kind=8)
integer(kind=4)
integer(kind=8)
D.1923 = _gfortran_caf_this_image.7 + 2;
/opt/gcc/work/gcc/testsuite/gfortran.dg/coarray/alloc_comp_1.f90:5:0: internal
compiler error: verify_gimple failed
Note that I am not surprised by the failure, but if the error is expected,
gfortran should not emit an ICE.
