http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45122
--- Comment #13 from Zdenek Dvorak <rakdver at gcc dot gnu.org> 2011-01-30 18:20:21 UTC --- (In reply to comment #10) > I think the 2nd patch is more "sound" (that is, it's easier to see what > effects it will have). Zdenek, do you agree? yes