diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2018-07-17 08:05:59 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-07-17 08:05:59 +0000 |
| commit | c70f758353d78fe242253031ab9764c419862ce2 (patch) | |
| tree | 68a5d0a9803f8b7c05800be275967299940c3442 /gcc | |
| parent | 7abe752684b9afa6aa4bf4f293c9f2e13bd38835 (diff) | |
| download | gcc-c70f758353d78fe242253031ab9764c419862ce2.zip gcc-c70f758353d78fe242253031ab9764c419862ce2.tar.gz gcc-c70f758353d78fe242253031ab9764c419862ce2.tar.bz2 | |
[Ada] Einfo: update documentation for Scalar_Range
2018-07-17 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* einfo.ads: Update documentation for Scalar_Range.
From-SVN: r262772
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/einfo.ads | 5 |
2 files changed, 7 insertions, 2 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 0e2d04e..f813f88 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2018-07-17 Ed Schonberg <schonberg@adacore.com> + + * einfo.ads: Update documentation for Scalar_Range. + 2018-07-17 Piotr Trojanek <trojanek@adacore.com> * lib-xref-spark_specific.adb (Create_Heap): Attach the HEAP entity to diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 2ed8e10..bb9ec10 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -4222,8 +4222,9 @@ package Einfo is -- could be obtained by rummaging around the tree, but it is more -- convenient to have it immediately at hand in the entity. The -- contents of Scalar_Range can either be an N_Subtype_Indication --- node (with a constraint), or a Range node, but not a simple --- subtype reference (a subtype is converted into a range). +-- node (with a constraint), a Range node, or an Integer_Type_Definition, +-- but not a simple subtype reference (a subtype is converted into a +-- explicit range). -- Scale_Value (Uint16) -- Defined in decimal fixed-point types and subtypes. Contains the scale |