merge with trunk @ 139506
[official-gcc.git] / gcc / testsuite / gnat.dg / test_raise_from_pure.adb
blobab1ed16db5c2e8c69e3f2a0b8cde5f8db05b19d2
1 -- { dg-do run }
2 -- { dg-options "-O2" }
3 with Wrap_Raise_From_Pure; use Wrap_Raise_From_Pure;
4 procedure test_raise_from_pure is
5 begin
6 Wrap_Raise_From_Pure.Check;
7 exception
8 when Constraint_Error => null;
9 end;