Diego Novillo wrote: > On Mon, 2004-02-23 at 08:34, Richard Guenther wrote: > > >>Any ideas though? >> > > Can't seem to reproduce it: It's indeed fixed with todays CVS. Thanks, Richard.