Having observed the bug while building a native, SJLJ version of libgnat on x86_64, I have filed PR ada/34400 for this. -- Ludovic Brenta.