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

[dimhen at gmail dot com]

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

Dmitry G. Dyachenko <dimhen at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|abstract_variables_map      |stl_vector.h:414:7:
                   |                            |internal compiler error:
                   |                            |verify_ssa failed

--- Comment #1 from Dmitry G. Dyachenko <dimhen at gmail dot com> 2013-04-03 11:55:11 UTC ---
/usr/local/gcc_current/lib/gcc/x86_64-unknown-linux-gnu/4.9.0/include/c++/bits/stl_vector.h:
In member function 'std::vector<EmptyTaskedRunner,
std::allocator<EmptyTaskedRunner> >::~vector()':
/usr/local/gcc_current/lib/gcc/x86_64-unknown-linux-gnu/4.9.0/include/c++/bits/stl_vector.h:414:7:
error: definition in block 18 does not dominate use in block 24
       ~vector() _GLIBCXX_NOEXCEPT
       ^
for SSA_NAME: __first_26 in statement:
# .MEM_102 = VDEF <.MEM_60>
MEM[(struct abstract_variables_map *)__first_26 + 112B] ={v} {CLOBBER};
/usr/local/gcc_current/lib/gcc/x86_64-unknown-linux-gnu/4.9.0/include/c++/bits/stl_vector.h:414:7:
internal compiler error: verify_ssa failed
0xbe0d3c verify_ssa(bool)
    /home/dimhen/src/gcc-current/gcc/tree-ssa.c:1046
0x9c43b1 execute_function_todo
    /home/dimhen/src/gcc-current/gcc/passes.c:1964
0x9c4c47 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.