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

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|paolo.carlini at oracle dot |
                   |com                         |

--- Comment #9 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-05-08 09:40:23 UTC ---
Thanks Pawel. Thus, Francois, I would suggest testing and, if everything goes
well, checking-in the small change to mainline and 4.7.x, thus consider the
issue resolved in terms of localized performance improvement. Further
enhancements will be automatically part of the long term changes Francois is
working on.