diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-09-05 16:30:30 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-09-05 16:30:30 +0200 |
| commit | e42bcfa38cc3f3315d10f448675807eee860ae3c (patch) | |
| tree | 646f5b0a10883cd181e5420ad3f2d7169d6b0ac8 /gcc/ada/rtsfind.ads | |
| parent | 544e7c17b592df04a71809db899725dc502103c9 (diff) | |
| download | gcc-e42bcfa38cc3f3315d10f448675807eee860ae3c.zip gcc-e42bcfa38cc3f3315d10f448675807eee860ae3c.tar.gz gcc-e42bcfa38cc3f3315d10f448675807eee860ae3c.tar.bz2 | |
[multiple changes]
2011-09-05 Hristian Kirtchev <kirtchev@adacore.com>
* s-finmas.adb (Set_Finalize_Address): Explain the reason
for the synchronization. Move the test for null from
s-stposu.Allocate_Any_Controlled to this routine since the check
needs to be protected too.
(Set_Heterogeneous_Finalize_Address): Explain the reason for the
synchronization code.
* s-finmas.ads (Set_Heterogeneous_Finalize_Address): Add comment
explaining the context in which this routine is used.
* s-stposu.adb (Allocate_Any_Controlled): Move the test for null
to s-finmas.Set_Finalize_Address.
2011-09-05 Ed Schonberg <schonberg@adacore.com>
* einfo.ads: Document that itypes have no parent field.
2011-09-05 Robert Dewar <dewar@adacore.com>
* rtsfind.adb (Check_CRT): Check for overloaded entity
* rtsfind.ads: Document that entities to be found by rtsfind
cannot be overloaded
* s-taenca.adb, s-tasren.adb, s-tpobop.adb, s-tpoben.ads, s-tpoben.adb
(Lock_Entries_With_Status): New name for Lock_Entries with two
arguments (changed to meet rtsfind no overloading rule).
From-SVN: r178551
Diffstat (limited to 'gcc/ada/rtsfind.ads')
| -rw-r--r-- | gcc/ada/rtsfind.ads | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/ada/rtsfind.ads b/gcc/ada/rtsfind.ads index bc55569..7b772d0 100644 --- a/gcc/ada/rtsfind.ads +++ b/gcc/ada/rtsfind.ads @@ -498,6 +498,14 @@ package Rtsfind is -- value is required syntactically, but no real entry is required or -- needed. Use of this value will cause a fatal error in an RTE call. + -- Note that under no circumstances can any of these entities be defined + -- more than once in a given package, i.e. no overloading is allowed for + -- any entity that is found using rtsfind. A fatal error is given if this + -- rule is violated. The one exception is for Save_Occurrence, where the + -- RM mandates the overloading. In this case, the compiler only uses the + -- procedure, not the function, and the procedure must come first so that + -- the compiler finds it and not the function. + type RE_Id is ( RE_Null, |