Tom Tromey wrote: > Could you file this in the gcc bugzilla? Will do. Already filed Debian bug #386443. Marcus