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

[dominik.strasser@onespin-solutions.com]

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

--- Comment #17 from dominik.strasser@onespin-solutions.com ---
Created attachment 30350
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30350&action=edit
New testcase