diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-30 12:37:41 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-30 12:37:41 +0200 |
| commit | b6c8e5bee712ecde910e0495e46f5216a7c9a60a (patch) | |
| tree | 1ef75048cc3c0c738f1de99c7172e436d221568f /gcc/ada/sem_ch13.adb | |
| parent | 2f6f8285368749fd716178f92e3131d003b6a18c (diff) | |
| download | gcc-b6c8e5bee712ecde910e0495e46f5216a7c9a60a.zip gcc-b6c8e5bee712ecde910e0495e46f5216a7c9a60a.tar.gz gcc-b6c8e5bee712ecde910e0495e46f5216a7c9a60a.tar.bz2 | |
[multiple changes]
2014-07-30 Robert Dewar <dewar@adacore.com>
* 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 <ebotcazou@adacore.com>
* sprint.adb (Set_Debug_Sloc): Also reset the end location if
we are debugging the generated code.
2014-07-30 Yannick Moy <moy@adacore.com>
* 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 <miranda@adacore.com>
* exp_ch4.adb (Apply_Accessibility_Check): Add
missing calls to Base_Address().
2014-07-30 Ed Schonberg <schonberg@adacore.com>
* 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
Diffstat (limited to 'gcc/ada/sem_ch13.adb')
| -rw-r--r-- | gcc/ada/sem_ch13.adb | 15 |
1 files changed, 8 insertions, 7 deletions
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 |