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

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

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

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),