Ludovic Brenta writes: > Actually, since that latest upload of gcc-4.2 introduced RC bugs in the > back-end, Debian bug numbers? Matthias