From 446ac3e5da2253ce51563d3227ce4f567145ac21 Mon Sep 17 00:00:00 2001 From: Ed Schonberg Date: Thu, 31 May 2018 10:46:39 +0000 Subject: [PATCH] [Ada] Minor comment improvement 2018-05-31 Ed Schonberg gcc/ada/ * einfo.ads: Improve documentation for the Is_Unsigned_Type entity flag. From-SVN: r261004 --- gcc/ada/ChangeLog | 5 +++++ gcc/ada/einfo.ads | 4 ++++ 2 files changed, 9 insertions(+) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 8a138f0af8a..6c9d57d09d3 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2018-05-31 Ed Schonberg + + * einfo.ads: Improve documentation for the Is_Unsigned_Type entity + flag. + 2018-05-31 Piotr Trojanek * sem_prag.adb (Analyze_Pragma): Replace call to Unique_Defining_Entity diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 2df649731c8..79fd1c23843 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 -- 2.30.2