[Bug rtl-optimization/46665] New: two gfortran tests fail with -O[2s] -fipa-pta -fno-tree-ccp -fno-tree-forwprop

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

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

           Summary: two gfortran tests fail with -O[2s] -fipa-pta
                    -fno-tree-ccp -fno-tree-forwprop
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


The failing tests are:
gfortran.dg/array_alloc_3.f90
gfortran.dg/char_reshape_1.f90

In both cases, the flags are:
-O[2s] -fipa-pta -fno-tree-ccp -fno-tree-forwprop
or
-O1 -fipa-pta -fschedule-insns -fstrict-overflow -fno-tree-ccp
-fno-tree-forwprop

, while array_alloc_3.f90 fails further with:

Output:
$ gfortran char_reshape_1.f90 -O2 -fipa-pta -fno-tree-ccp -fno-tree-forwprop -g
&& valgrind -q ./a.out
==5108== Conditional jump or move depends on uninitialised value(s)
==5108==    at 0x400C0D: MAIN__ (char_reshape_1.f90:24)
==5108==    by 0x400DA2: main (char_reshape_1.f90:17)
==5108== 
Aborted

$ gfortran char_reshape_1.f90 -O1 -fipa-pta -fschedule-insns -fstrict-overflow
-fno-tree-ccp -fno-tree-forwprop -g && valgrind -q ./a.out
==8736== Conditional jump or move depends on uninitialised value(s)
==8736==    at 0x400C14: MAIN__ (char_reshape_1.f90:24)
==8736==    by 0x400E69: main (char_reshape_1.f90:17)
==8736== 
Aborted

$ gfortran array_alloc_3.f90 -O2 -fipa-pta -fno-tree-ccp -fno-tree-forwprop -g
&& valgrind -q ./a.out
==7327== Conditional jump or move depends on uninitialised value(s)
==7327==    at 0x400A4E: main (array_alloc_3.f90:12)
==7327== 
Aborted

$ gfortran array_alloc_3.f90 -O1 -fipa-pta -fschedule-insns -fstrict-overflow
-fno-tree-ccp -fno-tree-forwprop -g && valgrind -q ./a.out
==9570== Conditional jump or move depends on uninitialised value(s)
==9570==    at 0x400A43: main (array_alloc_3.f90:12)
==9570== 
Aborted

Tested revisions:
r167147 - fail
r165699 - fail
r161659 - OK