https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62045
--- Comment #4 from Xi Ruoyao <ryxi at stu dot xidian.edu.cn> --- > This is certainly a bug making priority_queue::push O(n^2). > Since it works correctly in GCC 4.6, it's a regression. Sorry. s/O(n^2)/O(n)/.