From 3f910f7bd1d59423694c6a4ab73c8eaa30714f06 Mon Sep 17 00:00:00 2001 From: Robert Dewar Date: Tue, 10 Sep 2013 14:45:08 +0000 Subject: [PATCH] einfo.adb, [...]: Minor reformatting. 2013-09-10 Robert Dewar * einfo.adb, sem_prag.adb, rtsfind.ads: Minor reformatting. From-SVN: r202452 --- gcc/ada/ChangeLog | 4 ++++ gcc/ada/einfo.adb | 2 +- gcc/ada/rtsfind.ads | 24 ++++++++++++------------ gcc/ada/sem_prag.adb | 5 ++--- 4 files changed, 19 insertions(+), 16 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 52e373235c7..45ee02230dd 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2013-09-10 Robert Dewar + + * einfo.adb, sem_prag.adb, rtsfind.ads: Minor reformatting. + 2013-09-10 Hristian Kirtchev * sem_prag.adb (Get_SPARK_Mode_Id): Handle the diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb index 0ed05608afb..687a5342af4 100644 --- a/gcc/ada/einfo.adb +++ b/gcc/ada/einfo.adb @@ -6287,7 +6287,7 @@ package body Einfo is Id = Pragma_Contract_Cases or else Id = Pragma_Test_Case; Is_PPC : constant Boolean := Id = Pragma_Precondition or else Id = Pragma_Postcondition; - Delayed : constant Boolean := Is_CDG or else Is_CTC or else Is_PPC; + Delayed : constant Boolean := Is_CDG or Is_CTC or Is_PPC; Item : Node_Id; Items : Node_Id; diff --git a/gcc/ada/rtsfind.ads b/gcc/ada/rtsfind.ads index 511f83348fc..88cd740b00a 100644 --- a/gcc/ada/rtsfind.ads +++ b/gcc/ada/rtsfind.ads @@ -586,8 +586,8 @@ package Rtsfind is RO_RT_Delay_Until, -- Ada.Real_Time.Delays RO_RT_To_Duration, -- Ada.Real_Time.Delays - RE_Set_Handler, -- Ada_Real_Time.Timing_Events - RE_Timing_Event, -- Ada_Real_Time.Timing_Events + RE_Set_Handler, -- Ada.Real_Time.Timing_Events + RE_Timing_Event, -- Ada.Real_Time.Timing_Events RE_Root_Stream_Type, -- Ada.Streams RE_Stream_Element, -- Ada.Streams @@ -789,13 +789,13 @@ package Rtsfind is RE_Bit_Or, -- System.Bit_Ops RE_Bit_Xor, -- System.Bit_Ops - RE_Vector_Not, -- System_Boolean_Array_Operations, - RE_Vector_And, -- System_Boolean_Array_Operations, - RE_Vector_Or, -- System_Boolean_Array_Operations, - RE_Vector_Nand, -- System_Boolean_Array_Operations, - RE_Vector_Nor, -- System_Boolean_Array_Operations, - RE_Vector_Nxor, -- System_Boolean_Array_Operations, - RE_Vector_Xor, -- System_Boolean_Array_Operations, + RE_Vector_Not, -- System.Boolean_Array_Operations, + RE_Vector_And, -- System.Boolean_Array_Operations, + RE_Vector_Or, -- System.Boolean_Array_Operations, + RE_Vector_Nand, -- System.Boolean_Array_Operations, + RE_Vector_Nor, -- System.Boolean_Array_Operations, + RE_Vector_Nxor, -- System.Boolean_Array_Operations, + RE_Vector_Xor, -- System.Boolean_Array_Operations, RE_Bswap_16, -- System.Byte_Swapping RE_Bswap_32, -- System.Byte_Swapping @@ -1227,7 +1227,7 @@ package Rtsfind is RE_Get_63, -- System.Pack_63 RE_Set_63, -- System.Pack_63 - RE_Adjust_Storage_Size, -- System_Parameters + RE_Adjust_Storage_Size, -- System.Parameters RE_Default_Stack_Size, -- System.Parameters RE_Garbage_Collected, -- System.Parameters RE_Size_Type, -- System.Parameters @@ -1692,7 +1692,7 @@ package Rtsfind is RE_Width_Wide_Character, -- System.Wid_WChar RE_Width_Wide_Wide_Character, -- System.Wid_WChar - RE_Dispatching_Domain, -- Dispatching_Domains + RE_Dispatching_Domain, -- Multiprocessors.Dispatching_Domains RE_Protected_Entry_Body_Array, -- Tasking.Protected_Objects.Entries RE_Protected_Entry_Names_Array, -- Tasking.Protected_Objects.Entries @@ -1780,7 +1780,7 @@ package Rtsfind is RE_Complete_Task, -- System.Tasking.Stages RE_Free_Task, -- System.Tasking.Stages RE_Expunge_Unactivated_Tasks, -- System.Tasking.Stages - RE_Move_Activation_Chain, -- System_Tasking_Stages + RE_Move_Activation_Chain, -- System.Tasking_Stages RE_Terminated); -- System.Tasking.Stages -- The following declarations build a table that is indexed by the RTE diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 5e532b7e50e..e17b6e80bcb 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -3595,7 +3595,7 @@ package body Sem_Prag is -- N_Contract node. if Acts_As_Spec (PO) - and then (SPARK_Mode or else Formal_Extensions) + and then (SPARK_Mode or Formal_Extensions) then declare Prag : constant Node_Id := New_Copy_Tree (N); @@ -16612,8 +16612,7 @@ package body Sem_Prag is Chain_Pragma (Body_Id, N); Check_Conformance (Spec_Id, Body_Id); - -- The pragma does not apply to a legal construct, issue an - -- error. + -- The pragma does not apply to a legal construct, issue error else Pragma_Misplaced; -- 2.30.2