[Bug fortran/46945] [4.6 Regression] gfortran.dg/unpack_zerosize_1.f90 FAILs with -ftree-vrp -fno-tree-ccp -fno-tree-fre

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46945

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-12-15 
20:20:19 UTC ---
Author: jakub
Date: Wed Dec 15 20:20:10 2010
New Revision: 167871

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=167871
Log:
    PR fortran/46945
    * trans-array.c (gfc_array_init_size): Perform stride overflow
    checking and multiplication by element_size in size_type_node instead
    of sizetype, return value with size_type_node type instead of
    sometimes with sizetype and sometimes with gfc_array_index_type.

    * gfortran.dg/pr46945.f90: New test.

Added:
    trunk/gcc/testsuite/gfortran.dg/pr46945.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/trans-array.c
    trunk/gcc/testsuite/ChangeLog