------- Additional Comments From pcarlini at suse dot de 2005-01-29 20:52 ------- Interesting ;) After so many months, it turns out we have to add push/pop to *all* the headers?!? Why nobody mentioned that before?!? Not a big deal, in case, but I'm somewhat suprised.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19664
