[Bug libstdc++/53263] priority_queue is very slow if -D_GLIBCXX_DEBUG is used

[dominik.stras...@onespin-solutions.com]

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

--- Comment #14 from dominik.stras...@onespin-solutions.com 2012-06-11 15:05:43 
UTC ---
Is there a chance to get this into 4.7.1 ?