diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2018-05-31 10:46:39 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-31 10:46:39 +0000 |
| commit | 446ac3e5da2253ce51563d3227ce4f567145ac21 (patch) | |
| tree | b41f5a1aef26c50f2e635b0754536d41bbec5f0b | |
| parent | 7ae795f7b62b8cf30291f4b9ebf6f17c397bb9c4 (diff) | |
| download | gcc-446ac3e5da2253ce51563d3227ce4f567145ac21.zip gcc-446ac3e5da2253ce51563d3227ce4f567145ac21.tar.gz gcc-446ac3e5da2253ce51563d3227ce4f567145ac21.tar.bz2 | |
[Ada] Minor comment improvement
2018-05-31 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* einfo.ads: Improve documentation for the Is_Unsigned_Type entity
flag.
From-SVN: r261004
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/einfo.ads | 4 |
2 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 8a138f0..6c9d57d 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2018-05-31 Ed Schonberg <schonberg@adacore.com> + + * einfo.ads: Improve documentation for the Is_Unsigned_Type entity + flag. + 2018-05-31 Piotr Trojanek <trojanek@adacore.com> * sem_prag.adb (Analyze_Pragma): Replace call to Unique_Defining_Entity diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 2df6497..79fd1c2 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -3338,6 +3338,10 @@ package Einfo is -- a further subtype is obtained using variable bounds. This further -- subtype is still unsigned, but this cannot be determined by looking -- at its bounds or the bounds of the corresponding base type. +-- For a subtype indication whose range is statically a null range, +-- the flag is set if the lower bound is non-negative, but the flag +-- cannot be used to determine the comparison operator to emit in the +-- generated code: use the base type. -- Is_Uplevel_Referenced_Entity (Flag283) -- Defined in all entities. Used when unnesting subprograms to indicate |