> Do you have any testcase, or perhaps an internal PR that you could email > me a plaintext copy-paste of offlist, or documentation, that describes or > demonstrates the bug in detail? Is the gnat.dg testsuite clean, in particular null_pointer_deref[12].adb? -- Eric Botcazou