------- Comment #13 from bonzini at gnu dot org 2007-04-05 11:01 ------- So this is an unstable sorting. Adding dnovillo.
-- bonzini at gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |dnovillo at gcc dot gnu dot | |org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19780