On 07/06/2015 09:42 AM, Pierre-Marie de Rodat wrote: > Hello, > > The attached reproducer[1] seems to trigger a code generation issue at > least on x86_64-linux: > > $ gnatmake -q p -O3 -gnatn > $ ./p > > raised PROGRAM_ERROR : p.adb:9 explicit raise Can you please file this as a bug in bugzilla so that can get tracked? http://gcc.gnu.org/bugzilla jeff