diff options
Diffstat (limited to 'gcc/ada/libgnat/a-except.adb')
| -rw-r--r-- | gcc/ada/libgnat/a-except.adb | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/gcc/ada/libgnat/a-except.adb b/gcc/ada/libgnat/a-except.adb index 61cd256..fef79f6 100644 --- a/gcc/ada/libgnat/a-except.adb +++ b/gcc/ada/libgnat/a-except.adb @@ -482,6 +482,8 @@ package body Ada.Exceptions is (File : System.Address; Line : Integer); procedure Rcheck_PE_Potentially_Blocking_Operation (File : System.Address; Line : Integer); + procedure Rcheck_PE_Raise_Check + (File : System.Address; Line : Integer); procedure Rcheck_PE_Stubbed_Subprogram_Called (File : System.Address; Line : Integer); procedure Rcheck_PE_Unchecked_Union_Restriction @@ -574,6 +576,8 @@ package body Ada.Exceptions is "__gnat_rcheck_PE_Overlaid_Controlled_Object"); pragma Export (C, Rcheck_PE_Potentially_Blocking_Operation, "__gnat_rcheck_PE_Potentially_Blocking_Operation"); + pragma Export (C, Rcheck_PE_Raise_Check, + "__gnat_rcheck_PE_Raise_Check"); pragma Export (C, Rcheck_PE_Stream_Operation_Not_Allowed, "__gnat_rcheck_PE_Stream_Operation_Not_Allowed"); pragma Export (C, Rcheck_PE_Stubbed_Subprogram_Called, @@ -632,6 +636,7 @@ package body Ada.Exceptions is pragma No_Return (Rcheck_PE_Non_Transportable_Actual); pragma No_Return (Rcheck_PE_Overlaid_Controlled_Object); pragma No_Return (Rcheck_PE_Potentially_Blocking_Operation); + pragma No_Return (Rcheck_PE_Raise_Check); pragma No_Return (Rcheck_PE_Stream_Operation_Not_Allowed); pragma No_Return (Rcheck_PE_Stubbed_Subprogram_Called); pragma No_Return (Rcheck_PE_Unchecked_Union_Restriction); @@ -710,6 +715,8 @@ package body Ada.Exceptions is "expected_throw"); pragma Machine_Attribute (Rcheck_PE_Potentially_Blocking_Operation, "expected_throw"); + pragma Machine_Attribute (Rcheck_PE_Raise_Check, + "expected_throw"); pragma Machine_Attribute (Rcheck_PE_Stream_Operation_Not_Allowed, "expected_throw"); pragma Machine_Attribute (Rcheck_PE_Stubbed_Subprogram_Called, @@ -877,6 +884,7 @@ package body Ada.Exceptions is Rmsg_35 : constant String := "object too large" & NUL; Rmsg_36 : constant String := "stream operation not allowed" & NUL; Rmsg_37 : constant String := "build-in-place mismatch" & NUL; + Rmsg_38 : constant String := "raise check failed" & NUL; --------- -- AAA -- @@ -1575,6 +1583,13 @@ package body Ada.Exceptions is Raise_Program_Error_Msg (File, Line, Rmsg_28'Address); end Rcheck_PE_Potentially_Blocking_Operation; + procedure Rcheck_PE_Raise_Check + (File : System.Address; Line : Integer) + is + begin + Raise_Program_Error_Msg (File, Line, Rmsg_38'Address); + end Rcheck_PE_Raise_Check; + procedure Rcheck_PE_Stream_Operation_Not_Allowed (File : System.Address; Line : Integer) is |