types.ads, [...]: Partly revert r255414, committed by mistake.

2017-12-15  Bob Duff  <duff@adacore.com>

	* types.ads, exp_ch6.adb, libgnat/s-regexp.ads, opt.ads: Partly revert
	r255414, committed by mistake.

From-SVN: r255679

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 1b46154c8fd59d745d6ec3deea91d8931655948e..60f366cba9222216ff937137cac9346ded5f598c 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2017-12-15  Bob Duff  <duff@adacore.com>
+
+       * types.ads, exp_ch6.adb, libgnat/s-regexp.ads, opt.ads: Partly revert
+       r255414, committed by mistake.
+
 2017-12-14  Eric Botcazou  <ebotcazou@adacore.com>
 
        * gcc-interface/Makefile.in: Generalize support for symbolic traces.

diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb
index 43731c802392a42e56f7962eb7034e32b908f231..8a3f3905c76630db1329c83ac376779b182a2c30 100644 (file)
--- a/gcc/ada/exp_ch6.adb
+++ b/gcc/ada/exp_ch6.adb
@@ -5370,10 +5370,6 @@ package body Exp_Ch6 is
                         Rewrite (Name (Init_Assignment),
                           Make_Explicit_Dereference (Loc,
                             Prefix => New_Occurrence_Of (Alloc_Obj_Id, Loc)));
-                        pragma Assert
-                          (Assignment_OK
-                             (Original_Node (Name (Init_Assignment))));
-                        Set_Assignment_OK (Name (Init_Assignment));
 
                         Set_Etype (Name (Init_Assignment), Etype (Ret_Obj_Id));
 
@@ -7314,7 +7310,7 @@ package body Exp_Ch6 is
             begin
                --  ???For now, enable build-in-place for a very narrow set of
                --  controlled types. Change "if True" to "if False" to
-               --  experiment with more controlled types. Eventually, we might
+               --  experiment more controlled types. Eventually, we would
                --  like to enable build-in-place for all tagged types, all
                --  types that need finalization, and all caller-unknown-size
                --  types.

diff --git a/gcc/ada/libgnat/s-regexp.ads b/gcc/ada/libgnat/s-regexp.ads
index b399ca9f3683ca8954a452b897ef3a85bca36bd3..0155b43be4ddac3875111d83755e2fa8fd6acc2d 100644 (file)
--- a/gcc/ada/libgnat/s-regexp.ads
+++ b/gcc/ada/libgnat/s-regexp.ads
@@ -41,7 +41,7 @@
 
 with Ada.Finalization;
 
-package System.Regexp is -- ????????????????
+package System.Regexp is
 
    --  The regular expression must first be compiled, using the Compile
    --  function, which creates a finite state matching table, allowing

diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads
index ccb00dc607e54a027d76f01d88be8068aa8fb98b..2a32b63d2263ae787d2b1fdb8d308f823d1a0bbb 100644 (file)
--- a/gcc/ada/opt.ads
+++ b/gcc/ada/opt.ads
@@ -1445,7 +1445,7 @@ package Opt is
    --  GNAT.Exception_Traces is with'ed. Used to inhibit transformation of
    --  local raise statements into gotos in the presence of either package.
 
-   Sprint_Line_Limit : Nat := 72; -- ????????????????
+   Sprint_Line_Limit : Nat := 72;
    --  GNAT
    --  Limit values for chopping long lines in Cprint/Sprint output, can be
    --  reset by use of NNN parameter with -gnatG or -gnatD switches.

diff --git a/gcc/ada/types.ads b/gcc/ada/types.ads
index c523053be340767da842ddd9c201268ec02ac82f..0d8eb06c715ef80a2f62380b269eb6c16376a214 100644 (file)
--- a/gcc/ada/types.ads
+++ b/gcc/ada/types.ads
@@ -49,7 +49,7 @@ with System;
 with Unchecked_Conversion;
 with Unchecked_Deallocation;
 
-package Types is -- ????????????????
+package Types is
    pragma Preelaborate;
 
    -------------------------------