diff options
| author | Bob Duff <duff@adacore.com> | 2017-12-15 09:36:12 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-12-15 09:36:12 +0000 |
| commit | e83a74b0db9c27bb2be72a6caa361f9a3ffe792e (patch) | |
| tree | c8cf9685fa20effaf94fc85db38236b3b63ec27a /gcc | |
| parent | 549fa5843dd13df696920b030f54eed1dcfbfe73 (diff) | |
| download | gcc-e83a74b0db9c27bb2be72a6caa361f9a3ffe792e.zip gcc-e83a74b0db9c27bb2be72a6caa361f9a3ffe792e.tar.gz gcc-e83a74b0db9c27bb2be72a6caa361f9a3ffe792e.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/exp_ch6.adb | 6 | ||||
| -rw-r--r-- | gcc/ada/libgnat/s-regexp.ads | 2 | ||||
| -rw-r--r-- | gcc/ada/opt.ads | 2 | ||||
| -rw-r--r-- | gcc/ada/types.ads | 2 |
5 files changed, 9 insertions, 8 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 1b46154..60f366c 100644 --- 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 43731c8..8a3f390 100644 --- 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 b399ca9..0155b43 100644 --- 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 ccb00dc..2a32b63 100644 --- 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 c523053..0d8eb06 100644 --- 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; ------------------------------- |