[Bug tree-optimization/47355] New: [4.6 Regression] ICE: verify_ssa failed with -O2 -fipa-cp-clone

["roman at binarylife dot net" <gcc-bugzilla at gcc dot gnu dot org>]

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

           Summary: [4.6 Regression] ICE: verify_ssa failed with -O2
                    -fipa-cp-clone
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: roman@binarylife.net


Created attachment 23025
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23025
"reduced" test case

$ g++ -c -std=c++0x -O2 -fipa-cp-clone test.cpp             
test.cpp: In function 'vector<green> function()':
test.cpp:200:15: error: definition in block 29 does not dominate use in block
28
test.cpp:200:15: error: no immediate_use list
for SSA_NAME: D.2314_94 in statement:
# .MEM_135 = VDEF <.MEM_109>
zfree (D.2314_94);
test.cpp:200:15: internal compiler error: verify_ssa failed
...