From 9948a77558b6f38e1b3a6e0abb75b5784b6133dd Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Thu, 4 Apr 2019 16:02:13 +0200 Subject: [PATCH] spark: provide rcheck symbols in ABI --- repos/libports/lib/symbols/spark | 33 +++++++++++++++++++++++++++++--- 1 file changed, 30 insertions(+), 3 deletions(-) diff --git a/repos/libports/lib/symbols/spark b/repos/libports/lib/symbols/spark index 02e7a34e13..e5fa916613 100644 --- a/repos/libports/lib/symbols/spark +++ b/repos/libports/lib/symbols/spark @@ -16,16 +16,43 @@ __gl_unreserve_all_interrupts B 4 __gl_wc_encoding D 1 __gnat_mulv64 T __gnat_raise_exception T +__gnat_rcheck_CE_Access_Check T __gnat_rcheck_CE_Discriminant_Check T __gnat_rcheck_CE_Divide_By_Zero T __gnat_rcheck_CE_Explicit_Raise T __gnat_rcheck_CE_Index_Check T __gnat_rcheck_CE_Invalid_Data T __gnat_rcheck_CE_Length_Check T +__gnat_rcheck_CE_Null_Access_Parameter T +__gnat_rcheck_CE_Null_Exception_Id T +__gnat_rcheck_CE_Null_Not_Allowed T __gnat_rcheck_CE_Overflow_Check T +__gnat_rcheck_CE_Partition_Check T __gnat_rcheck_CE_Range_Check T +__gnat_rcheck_CE_Tag_Check T +__gnat_rcheck_PE_Access_Before_Elaboration T +__gnat_rcheck_PE_Accessibility_Check T +__gnat_rcheck_PE_Address_Of_Intrinsic T +__gnat_rcheck_PE_Aliased_Parameters T +__gnat_rcheck_PE_All_Guards_Closed T +__gnat_rcheck_PE_Bad_Predicated_Generic_Type T +__gnat_rcheck_PE_Current_Task_In_Entry_Body T +__gnat_rcheck_PE_Duplicated_Entry_Address T __gnat_rcheck_PE_Explicit_Raise T +__gnat_rcheck_PE_Finalize_Raised_Exception T +__gnat_rcheck_PE_Implicit_Return T +__gnat_rcheck_PE_Misaligned_Address_Value T +__gnat_rcheck_PE_Missing_Return T +__gnat_rcheck_PE_Non_Transportable_Actual T +__gnat_rcheck_PE_Overlaid_Controlled_Object T +__gnat_rcheck_PE_Potentially_Blocking_Operation T +__gnat_rcheck_PE_Stream_Operation_Not_Allowed T +__gnat_rcheck_PE_Stubbed_Subprogram_Called T +__gnat_rcheck_PE_Unchecked_Union_Restriction T +__gnat_rcheck_SE_Empty_Storage_Pool T __gnat_rcheck_SE_Explicit_Raise T +__gnat_rcheck_SE_Infinite_Recursion T +__gnat_rcheck_SE_Object_Too_Large T __gnat_runtime_finalize T __gnat_runtime_initialize T ada__exceptions_E D 2 @@ -38,16 +65,16 @@ ada__exceptions__warn_not_implemented T allocate_secondary_stack T constraint_error T get_thread T -gnat__io__new_line__2 T gnat__io__new_line T +gnat__io__new_line__2 T +gnat__io__put T gnat__io__put__2 T gnat__io__put__3 T gnat__io__put__4 T gnat__io__put__5 T gnat__io__put__6 T -gnat__io__put_line__2 T gnat__io__put_line T -gnat__io__put T +gnat__io__put_line__2 T gnat__io__set_output T gnat__io__standard_error T gnat__io__standard_output T