http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51921
--- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-02-07 17:54:18 UTC --- > You know perfectly well that such a proof is practically impossible: > that would mean updating a machine through every single Solaris 8/9/10 > kernel/libc/libthread patch ever released. The other way round, I'd > claim that you cannot prove that the old code works for every since such > combination either. I cannot indeed, but we now have a case where the old code used to work and the new code fails. Granted, this isn't an official release, but it's annoying and casts a legitimate doubt on the robustness of the new code. > You claimed that before, and that's what I tried at first to make > Solaris 11 work, but failed completely. OK, do you know of a Solaris 11 machine to which I could have access? AdaCore doesn't have one for the time being. > Why didn't you object then when it was submitted *and accepted*, has > been in for almost a year, been shipped with a release, and revert it > shortly before the next release? I already managed to block a backport to the 4.5 branch. :-) As for the shortly, I wrote a first message on 11/28, got no answers, then applied the change on 01/09, that is to say about 3 months before the planned shipping date.
