http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52241
--- Comment #15 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-02-16 15:04:42 UTC --- Note, if we decide to do this at the level of tree.cc, we should consistently change _Rb_tree_decrement too.