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