diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 12:44:09 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 12:44:09 +0200 |
| commit | 3e20cb680fae4486f196dcc807237d573ad6d207 (patch) | |
| tree | dfe52b487e1b48a7b4d25170ac1661d0d4d33e22 /gcc/ada/namet-sp.ads | |
| parent | 1f55088db5038881cc4836ba600edb1bb8fe0141 (diff) | |
| download | gcc-3e20cb680fae4486f196dcc807237d573ad6d207.zip gcc-3e20cb680fae4486f196dcc807237d573ad6d207.tar.gz gcc-3e20cb680fae4486f196dcc807237d573ad6d207.tar.bz2 | |
[multiple changes]
2016-04-18 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Build_Pragma_Check_Equivalent): The mapping
that relates operations of the parent type to the operations of
the derived type has three distinct sources:
a) explicit operations of the derived type carry an
Overridden_Operation that designates the operation in the
ancestor.
b) Implicit operations that are inherited by the derived type
carry an alias that may be an explicit subprogram (in which case
it may have an Overridden_ Operation indicator) or may also be
inherited and carry its own alias.
c) If the parent type is an interface, the operation of the
derived type does not override, but the interface operation
indicates the operation that implements it.
* sem_prag.adb: Minor reformatting.
* sem_prag.adb (Check_External_Property): Update
the comment on usage. Reimplement.
2016-04-18 Ed Schonberg <schonberg@adacore.com>
* exp_ch5.adb (Expand_Assignment_Statement): In restricted
profiles such as ZFP, ceiling priority is not available.
2016-04-18 Bob Duff <duff@adacore.com>
* namet-sp.ads: Minor typo fix, ironically in 'Spelling_Checker'.
2016-04-18 Bob Duff <duff@adacore.com>
* sem_elab.adb (Output_Calls): Use
Get_Name_String, to clearly indicate that the global Name_Buffer
is being used. The previous code used Is_Internal_Name, which
returns a Boolean, but also has a side effect of setting the
Name_Buffer. Then it called the other Is_Internal_Name, which uses
the Name_Buffer for its input. And then it called Error_Msg_N,
again using the Name_Buffer. We haven't eliminated the global
usage here, but we've made it a bit clearer.
This also allows us to have a side-effect-free version of
Is_Internal_Name.
* namet.ads, namet.adb: Provide a type Bounded_String, along with
routines that can be used without using global variables. Provide
Global_Name_Buffer so existing code can continue to use the
global. Mark the routines that use globals as obsolete. New code
shouldn't call the obsolete ones, and we should clean up existing
code from time to time.
Name_Find_Str is renamed as Name_Find.
* namet.h: Changed as necessary to interface to the new version
of Namet.
* bindgen.adb, exp_unst.adb: Name_Find_Str is renamed as
Name_Find.
From-SVN: r235123
Diffstat (limited to 'gcc/ada/namet-sp.ads')
| -rw-r--r-- | gcc/ada/namet-sp.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/namet-sp.ads b/gcc/ada/namet-sp.ads index 87e0824..1f42029 100644 --- a/gcc/ada/namet-sp.ads +++ b/gcc/ada/namet-sp.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2012 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2015, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -31,7 +31,7 @@ -- This child package contains a spell checker for Name_Id values. It is -- separated off as a child package, because of the extra dependencies, --- in particular on GNAT.UTF_32_ Spelling_Checker. There are a number of +-- in particular on GNAT.UTF_32_Spelling_Checker. There are a number of -- packages that use Namet that do not need the spell checking feature, -- and this separation helps in dealing with older versions of GNAT. |