From: Ed Schonberg Date: Tue, 17 Jul 2018 08:05:59 +0000 (+0000) Subject: [Ada] Einfo: update documentation for Scalar_Range X-Git-Tag: upstream/12.2.0~30335 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=c70f758353d78fe242253031ab9764c419862ce2;p=platform%2Fupstream%2Fgcc.git [Ada] Einfo: update documentation for Scalar_Range 2018-07-17 Ed Schonberg gcc/ada/ * einfo.ads: Update documentation for Scalar_Range. From-SVN: r262772 --- 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 + + * einfo.ads: Update documentation for Scalar_Range. + 2018-07-17 Piotr Trojanek * 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