http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53324
Bug #: 53324
Summary: Crash when mixing _GLIBCXX_DEBUG and
non-_GLIBCXX_DEBUG std::deque
Classification: Unclassified
Product: gcc
Version: 4.7.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: libstdc++
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: dominik.stras...@onespin-solutions.com
Created attachment 27373
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27373
Example to illustrate the problem
The attached example mixes std::deque compiled without _GLIBCXX_DEBUG.
The non-_GLIBCXX_DEBUG comes in the original from a binary supplied lib.
IMHO the mixture should either work or disallowed by making std::deque not
assignable to a std::__debug::deque.
