2014-07-18 Robert Dewar <dewar@adacore.com>

	* 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 bc299a7b465c42af1421563828473aa040a5cd04..c8e0f1b2c9415474fde3c32f0305b49d279595df 100644 (file)
--- 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 1299a25025fefe2ad63891b2e704b9539f7ecbff..ffd8d5f95be4001052ab2358c3f2a0794d879865 100644 (file)
--- 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 9e427b56118536c4d1720b71e1f675a96f47c535..373faaaa7d09ef5ff23265140e2f420572cd9eb2 100644 (file)
--- 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),