>> Is this bug been reported to the Gnats GCC BTS (I don't see any >> reference in bug #147864) ? If yes under which bug number ? > It's ada/5679. Thank you for the info. I'm cc'ing the Debian BTS for the record. -- Laurent. -- To UNSUBSCRIBE, email to debian-gcc-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org