diff options
| author | Robert Dewar <dewar@adacore.com> | 2013-09-10 14:45:08 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-09-10 16:45:08 +0200 |
| commit | 3f910f7bd1d59423694c6a4ab73c8eaa30714f06 (patch) | |
| tree | 464a6006afbeba5425bd7d6797a7e0f219e435aa /gcc | |
| parent | a98838ff82af79fcb85e2b7eafa029267a91cd1f (diff) | |
| download | gcc-3f910f7bd1d59423694c6a4ab73c8eaa30714f06.zip gcc-3f910f7bd1d59423694c6a4ab73c8eaa30714f06.tar.gz gcc-3f910f7bd1d59423694c6a4ab73c8eaa30714f06.tar.bz2 | |
einfo.adb, [...]: Minor reformatting.
2013-09-10 Robert Dewar <dewar@adacore.com>
* einfo.adb, sem_prag.adb, rtsfind.ads: Minor reformatting.
From-SVN: r202452
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/einfo.adb | 2 | ||||
| -rw-r--r-- | gcc/ada/rtsfind.ads | 24 | ||||
| -rw-r--r-- | gcc/ada/sem_prag.adb | 5 |
4 files changed, 19 insertions, 16 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 52e3732..45ee022 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2013-09-10 Robert Dewar <dewar@adacore.com> + + * einfo.adb, sem_prag.adb, rtsfind.ads: Minor reformatting. + 2013-09-10 Hristian Kirtchev <kirtchev@adacore.com> * sem_prag.adb (Get_SPARK_Mode_Id): Handle the diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb index 0ed0560..687a534 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 511f833..88cd740 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 5e532b7..e17b6e8 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; |