From b6c8e5bee712ecde910e0495e46f5216a7c9a60a Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Wed, 30 Jul 2014 12:37:41 +0200 Subject: [multiple changes] 2014-07-30 Robert Dewar * g-forstr.adb: Minor code reorganization (use J rather than I as a variable name). * gnat_rm.texi, sem_prag.adb, sem_util.adb, sem_ch13.adb, g-forstr.ads: Minor reformatting. 2014-07-30 Eric Botcazou * sprint.adb (Set_Debug_Sloc): Also reset the end location if we are debugging the generated code. 2014-07-30 Yannick Moy * sinput.ads, sinput.adb (Comes_From_Inlined_Body): New function that returns True for source pointer for an inlined body. 2014-07-30 Javier Miranda * exp_ch4.adb (Apply_Accessibility_Check): Add missing calls to Base_Address(). 2014-07-30 Ed Schonberg * sem_ch6.adb (Hanalyze_Subprogram_Body_Helper): In GNATprove mode, subprogram bodies without a previous declaration are also candidates for front-end inlining. From-SVN: r213242 --- gcc/ada/sem_ch13.adb | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) (limited to 'gcc/ada/sem_ch13.adb') diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index 6a8f336..cb3b105 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -2909,10 +2909,10 @@ package body Sem_Ch13 is -- their pragmas must contain two arguments, the second -- being the optional Boolean expression. - if A_Id = Aspect_Async_Readers - or else A_Id = Aspect_Async_Writers - or else A_Id = Aspect_Effective_Reads - or else A_Id = Aspect_Effective_Writes + if A_Id = Aspect_Async_Readers or else + A_Id = Aspect_Async_Writers or else + A_Id = Aspect_Effective_Reads or else + A_Id = Aspect_Effective_Writes then declare Args : List_Id; @@ -2921,9 +2921,10 @@ package body Sem_Ch13 is -- The first argument of the external property pragma -- is the related object. - Args := New_List ( - Make_Pragma_Argument_Association (Sloc (Ent), - Expression => Ent)); + Args := + New_List ( + Make_Pragma_Argument_Association (Sloc (Ent), + Expression => Ent)); -- The second argument is the optional Boolean -- expression which must be propagated even if it -- cgit v1.1