On Tue, 2012-03-27 at 12:59 +0200, Ludovic Brenta wrote: > As for debugging your particular problem, I'm afraid I lack the time > and > expertise to be of much help. Perhaps the upstream authors can better > help; > they are on gcc@gcc.gnu.org. Thank you for your nice reply. I will contact the upstream authors for the debugging problems. A side question: Why is gnat released separately from the rest of the Gnu Compiler Collection (GCC)?