Disabling inlining (i.e. removing -gnatn from the compiler options) works around the bug. -- Ludovic Brenta.