diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-31 12:02:13 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-31 12:02:13 +0200 |
| commit | aa3efecdfbd42f3ec8dce3a3d85a0cc8f60e01ce (patch) | |
| tree | 98d8ea606ed1b3f97b7d68b09f7679409a6515c0 /gcc/ada/styleg.ads | |
| parent | b7c874a77cff436d8730223b80ffa53d3dba05c3 (diff) | |
| download | gcc-aa3efecdfbd42f3ec8dce3a3d85a0cc8f60e01ce.zip gcc-aa3efecdfbd42f3ec8dce3a3d85a0cc8f60e01ce.tar.gz gcc-aa3efecdfbd42f3ec8dce3a3d85a0cc8f60e01ce.tar.bz2 | |
[multiple changes]
2014-07-31 Robert Dewar <dewar@adacore.com>
* par-ch13.adb (Get_Aspect_Specifications): Set Inside_Depends.
* par-ch2.adb (P_Pragma): Set Inside_Depends.
* par-ch4.adb (P_Simple_Expression): Pass Inside_Depends to
Check_Unary_Plus_Or_Minus.
* scans.ads (Inside_Depends): New flag.
* scng.adb (Scan): Pass Inside_Depends to Check_Arrow.
* style.ads: Add Inside_Depends parameter to Check_Arrow Add
Inside_Depends parameter to Check_Unary_Plus_Or_Minus.
* styleg.adb (Check_Arrow): Handle Inside_Depends case.
(Check_Unary_Plus_Or_Minus): Handle Inside_Depends case.
* styleg.ads: Add Inside_Depends parameter to Check_Arrow Add.
Inside_Depends parameter to Check_Unary_Plus_Or_Minus.
2014-07-31 Javier Miranda <miranda@adacore.com>
* s-vaflop.adb Move the body of function T_To_G before
T_To_D. Required for frontend inlining.
* inline.adb (Has_Excluded_Contract): New subprogram used to
check if a subprogram inlined by the frontend has contracts
which cannot be inlined.
2014-07-31 Bob Duff <duff@adacore.com>
* s-traceb.adb, s-traceb-hpux.adb, s-traceb-mastop.adb:
(Call_Chain): Add 1 to number of frames to skip, to account for
the fact that there's one more frame on the stack.
From-SVN: r213336
Diffstat (limited to 'gcc/ada/styleg.ads')
| -rw-r--r-- | gcc/ada/styleg.ads | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/gcc/ada/styleg.ads b/gcc/ada/styleg.ads index 2369281..344d4fb 100644 --- a/gcc/ada/styleg.ads +++ b/gcc/ada/styleg.ads @@ -2,11 +2,11 @@ -- -- -- GNAT COMPILER COMPONENTS -- -- -- --- S T Y L E G -- +-- S T Y L E G -- -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2013, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2014, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -52,8 +52,10 @@ package Styleg is procedure Check_Apostrophe; -- Called after scanning an apostrophe to check spacing - procedure Check_Arrow; - -- Called after scanning out an arrow to check spacing + procedure Check_Arrow (Inside_Depends : Boolean := False); + -- Called after scanning out an arrow to check spacing. Inside_Depends is + -- true if the call is from an argument of the Depends pragma (where the + -- allowed/required format is =>+). procedure Check_Attribute_Name (Reserved : Boolean); -- The current token is an attribute designator. Check that it @@ -143,8 +145,10 @@ package Styleg is -- would interfere with coverage testing). Handles case of THEN ABORT as -- an exception, as well as PRAGMA after ELSE. - procedure Check_Unary_Plus_Or_Minus; - -- Called after scanning a unary plus or minus to check spacing + procedure Check_Unary_Plus_Or_Minus (Inside_Depends : Boolean := False); + -- Called after scanning a unary plus or minus to check spacing. The flag + -- Inside_Depends is set if we are scanning within a Depends pragma or + -- Aspect, in which case =>+ requires a following space). procedure Check_Vertical_Bar; -- Called after scanning a vertical bar to check spacing |