[Bug libstdc++/62045] __gnu_pbds::priority_queue, binary_heap_tag> is too slow

[ryxi at stu dot xidian.edu.cn]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62045

--- Comment #5 from Xi Ruoyao <ryxi at stu dot xidian.edu.cn> ---
Patch proposal:

https://gcc.gnu.org/ml/gcc-patches/2017-03/msg00516.html