[Bug tree-optimization/56830] stl_vector.h:414:7: internal compiler error: verify_ssa failed

["dimhen at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

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

--- Comment #5 from Dmitry G. Dyachenko <dimhen at gmail dot com> 2013-04-04 18:27:23 UTC ---
Created attachment 29806
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29806
ICE with -O1 only

$ g++ -Wall -O1 -fpreprocessed -c 56830.ii
56830.ii: In instantiation of âvoid H::add_suites() [with T = M]â:
56830.ii:107:25:   required from here
56830.ii:94:12: warning: unused variable âsâ [-Wunused-variable]
         T *s = new T;
            ^
56830.ii: In function âint main()â:
56830.ii:104:5: error: definition in block 3 does not dominate use in block 7
 int main ()
     ^
for SSA_NAME: _8 in statement:
# .MEM_30 = VDEF <.MEM_15>
MEM[(struct F *)_8] ={v} {CLOBBER};
56830.ii:104:5: internal compiler error: verify_ssa failed
0xbe1b4c verify_ssa(bool)
    /home/dimhen/src/gcc-current/gcc/tree-ssa.c:1046
0x9c4ca1 execute_function_todo
    /home/dimhen/src/gcc-current/gcc/passes.c:1964
0x9c5537 execute_todo
    /home/dimhen/src/gcc-current/gcc/passes.c:1996
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.