http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47433
--- Comment #6 from Johannes Singler <singler at kit dot edu> 2011-01-24 13:23:26 UTC --- Taking __key as value type in (some variants of __delete_min_insert) makes sense, since it is also used as a buffer for storing the current loser. Having a local variable that is initialized with the const ref would have the same effect, would it not? Johannes