From ac8380d5d8e2d9b4a82f000b5d95165124a73a95 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Fri, 6 Jan 2017 11:48:39 +0100 Subject: [multiple changes] 2017-01-06 Yannick Moy * ghost.adb Minor fixing of references to SPARK RM. (Check_Ghost_Context): Check whether reference is to a lvalue before issuing an error about violation of SPARK RM 6.9(13) when declaration has Ghost policy Check and reference has Ghost policy Ignore. * sem_util.adb Minor indentation. * sem_ch10.adb (Analyze_Package_Body_Stub, Analyze_Protected_Body_Stub, Analyze_Task_Body_Stub): Set Ekind of the defining identifier. * sem_util.ads (Unique_Defining_Entity): Document the result for package body stubs. 2017-01-06 Tristan Gingold * raise-gcc.c (abort): Macro to call Abort_Propagation. * s-tpoben.ads (Protected_Entry_Queue_Max_Access): Make it access constant. * exp_ch9.adb (Expand_N_Protected_Type_Declaration): Do not generate the Entry_Max_Queue_Lengths_Array if all default values. * exp_util.adb (Corresponding_Runtime_Package): Consider Max_Queue_Length pragma. From-SVN: r244129 --- gcc/ada/raise-gcc.c | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'gcc/ada/raise-gcc.c') diff --git a/gcc/ada/raise-gcc.c b/gcc/ada/raise-gcc.c index a2b6f64..0074ad53f 100644 --- a/gcc/ada/raise-gcc.c +++ b/gcc/ada/raise-gcc.c @@ -86,12 +86,9 @@ extern struct Exception_Occurrence *__gnat_setup_current_excep extern void __gnat_unhandled_except_handler (_Unwind_Exception *); #ifdef CERT +/* Called in case of error during propagation. */ +extern void __gnat_raise_abort (void) __attribute__ ((noreturn)); #define abort() __gnat_raise_abort() -static void __gnat_raise_abort(void) -{ - while (1) - ; -} #endif #include "unwind-pe.h" -- cgit v1.1