> Can either of you back that up with mailing list archive references? See https://gcc.gnu.org/ml/gcc-patches/2008-08/msg00043.html which points to a previous discussion in January. There are 2 tests in the gnat.dg testsuite: gnat.dg/handle_raise_from_pure.adb gnat.dg/test_raise_from_pure.adb
-- Eric Botcazou
