[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

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 0e2d04edda7227248eb0f1769ee13530d7be06b3..f813f880686a852a7ace427ec75abbb15b1274e7 100644 (file)
--- 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 2ed8e10c0ae82aadf244f84f753c55ced49d2654..bb9ec109da951781730499c783cf67beeedb1c41 100644 (file)
--- 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