From: charlet Date: Fri, 18 Jul 2014 09:24:26 +0000 (+0000) Subject: 2014-07-18 Robert Dewar X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=bd006389830f7c09cff46e01a87ca2d683753d7c;p=thirdparty%2Fgcc.git 2014-07-18 Robert Dewar * exp_attr.adb, debug.adb: Update comments. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212784 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index bc299a7b465c..c8e0f1b2c941 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2014-07-18 Robert Dewar + + * exp_attr.adb, debug.adb: Update comments. + 2014-07-18 Vincent Celier * par-ch4.adb (Simple_Expression): Add missing style check diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 1299a25025fe..ffd8d5f95be4 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 9e427b561185..373faaaa7d09 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),