https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67085
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Last reconfirmed| |2015-09-19
Resolution|WONTFIX |---
Ever confirmed|0 |1
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Although the workarounds suggested here are not valid, I think we can do better
internally in the library, maybe by adding a private __push_heap that takes a
reference and using that instead of push_heap.
