From c70f758353d78fe242253031ab9764c419862ce2 Mon Sep 17 00:00:00 2001 From: Ed Schonberg Date: Tue, 17 Jul 2018 08:05:59 +0000 Subject: [PATCH] [Ada] Einfo: update documentation for Scalar_Range 2018-07-17 Ed Schonberg gcc/ada/ * einfo.ads: Update documentation for Scalar_Range. From-SVN: r262772 --- gcc/ada/ChangeLog | 4 ++++ gcc/ada/einfo.ads | 5 +++-- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 0e2d04edda7..f813f880686 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 2ed8e10c0ae..bb9ec109da9 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 -- 2.30.2