https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71358
--- Comment #2 from simon at pushface dot org --- (In reply to Eric Botcazou from comment #1) > The testcase yields a STORAGE_ERROR (segfault), which is not pretty indeed. Presumably because the GNAT RTS is compiled with checks disabled? Here (x86_64-apple-darwin15) I get $ ./bug Execution terminated by unhandled exception raised CONSTRAINT_ERROR : erroneous memory access
