diff options
author | Robert Dewar <dewar@adacore.com> | 2014-07-18 09:24:26 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-18 11:24:26 +0200 |
commit | 5b89faafa8b5174dfe9e4e94695e57e9009440c3 (patch) | |
tree | 0f172a6213b135d03aceb6cfb31e481cd3bb99be /gcc/ada | |
parent | c7a7f405b33e48462f58c56036cfb0583f31dc5b (diff) | |
download | gcc-5b89faafa8b5174dfe9e4e94695e57e9009440c3.zip gcc-5b89faafa8b5174dfe9e4e94695e57e9009440c3.tar.gz gcc-5b89faafa8b5174dfe9e4e94695e57e9009440c3.tar.bz2 |
exp_attr.adb, debug.adb: Update comments.
2014-07-18 Robert Dewar <dewar@adacore.com>
* exp_attr.adb, debug.adb: Update comments.
From-SVN: r212784
Diffstat (limited to 'gcc/ada')
-rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
-rw-r--r-- | gcc/ada/debug.adb | 7 | ||||
-rw-r--r-- | gcc/ada/exp_attr.adb | 3 |
3 files changed, 14 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index bc299a7..c8e0f1b 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2014-07-18 Robert Dewar <dewar@adacore.com> + + * exp_attr.adb, debug.adb: Update comments. + 2014-07-18 Vincent Celier <celier@adacore.com> * par-ch4.adb (Simple_Expression): Add missing style check diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 1299a25..ffd8d5f 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -135,6 +135,7 @@ package body Debug is -- d.O Dump internal SCO tables -- d.P Previous (non-optimized) handling of length comparisons -- d.Q Previous (incomplete) style check for binary operators + -- ??? need to add doc for above switch -- d.R Restrictions in ali files in positional form -- d.S Force Optimize_Alignment (Space) -- d.T Force Optimize_Alignment (Time) @@ -658,6 +659,12 @@ package body Debug is -- This is there in case we find a situation where the optimization -- malfunctions, to provide a work around. + -- d.Q Previous incomplete style checks for binary operators. Style checks + -- for token separation rules were incomplete and have been made + -- compliant with the documentation. For example, no warning was + -- issued for expressions such as 16-One or "A"&"B". Setting this flag + -- inhibits these new checks. + -- d.R As documented in lib-writ.ads, restrictions in the ali file can -- have two forms, positional and named. The named notation is the -- current preferred form, but the use of this debug switch will force diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb index 9e427b5..373faaa 100644 --- a/gcc/ada/exp_attr.adb +++ b/gcc/ada/exp_attr.adb @@ -3246,6 +3246,9 @@ package body Exp_Attr is -- container). In that case rewrite the attribute as a Raise to -- prevent any run-time use. + -- This is not an explicit raise, the Reason code is wrong, we most + -- likely need a new Reason code ??? + if Restriction_Active (No_Streams) then Rewrite (N, Make_Raise_Program_Error (Sloc (N), |