diff options
| author | bosch <bosch@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-12-11 22:11:45 +0000 |
|---|---|---|
| committer | bosch <bosch@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-12-11 22:11:45 +0000 |
| commit | c2b56224d60d27cd619e50d0a5250219ea251975 (patch) | |
| tree | 9a2ec6960caa6e0b10445d061c7f8838db87d84c /gcc/ada/einfo.ads | |
| parent | 57f302e522c72c1aa7848b435f7c890aadb437d7 (diff) | |
| download | ppe42-gcc-c2b56224d60d27cd619e50d0a5250219ea251975.tar.gz ppe42-gcc-c2b56224d60d27cd619e50d0a5250219ea251975.zip | |
* einfo.ads: Minor reformatting
* exp_ch5.adb: Add comment for previous.change
* ali.adb: New interface for extended typeref stuff.
* ali.ads: New interface for typeref stuff.
* checks.adb (Apply_Alignment_Check): New procedure.
* debug.adb: Add -gnatdM for modified ALI output
* exp_pakd.adb (Known_Aligned_Enough): Replaces Known_Aligned_Enough.
* lib-xref.adb: Extend generation of <..> notation to cover
subtype/object types. Note that this is a complete rewrite,
getting rid of the very nasty quadratic algorithm previously
used for derived type output.
* lib-xref.ads: Extend description of <..> notation to cover
subtype/object types. Uses {..} for these other cases.
Also use (..) for pointer types.
* sem_util.adb (Check_Potentially_Blocking_Operation): Slight cleanup.
* exp_pakd.adb: Minor reformatting. Note that prevous RH should say:
(Known_Aligned_Enough): Replaces Must_Be_Aligned.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@47896 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/einfo.ads')
| -rw-r--r-- | gcc/ada/einfo.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index f480458f548..ad8b437f219 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -302,6 +302,7 @@ package Einfo is -- only if the actual subtype differs from the nominal subtype. If the -- actual and nominal subtypes are the same, then the Actual_Subtype -- field is Empty, and Etype indicates both types. +-- -- For objects, the Actual_Subtype is set only if this is a discriminated -- type. For arrays, the bounds of the expression are obtained and the -- Etype of the object is directly the constrained subtype. This is |
