------- Additional Comments From falk at debian dot org 2005-03-29 21:38 ------- (In reply to comment #9)
> This patch should fix the problem Yes, it does. (I haven't tried bootstrapping, though.) Thanks for fixing this so quickly! -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20625