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

["zsojka at seznam dot cz" <gcc-bugzilla at gcc dot gnu dot org>]

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

           Summary: [4.6 Regression] gfortran.dg/unpack_zerosize_1.f90
                    FAILs with -ftree-vrp -fno-tree-ccp -fno-tree-fre
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz


Created attachment 22755
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22755
reduced testcase

Output:
$ gfortran -O -ftree-vrp -fno-tree-ccp -fno-tree-fre testcase.f90
$ ./a.out 
Fortran runtime error: Integer overflow when calculating the amount of memory
to allocate

In the testcase.f90.067t.vrp1 dump, there is unconditional call to
_gfortran_runtime_error().

Maybe will be fixed by http://gcc.gnu.org/ml/gcc-patches/2010-12/msg01026.html

Tested revisions:
r167770 - fail
r167643 - fail
r165699 - OK
4.5 r166509 - OK