[Ada] Beef up comment in exp_attr.adb

2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

	* exp_attr.adb (Expand_Loop_Entry_Attribute): Beef up comment.

From-SVN: r273688

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 30b798c52df5b574819096a3174aae45572fcc5f..f85dfc431d8f11c09572564de00fcd995e633ce1 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * exp_attr.adb (Expand_Loop_Entry_Attribute): Beef up comment.
+
 2019-07-22  Ed Schonberg  <schonberg@adacore.com>
 
        * libgnat/s-valboo.ads, libgnat/s-valcha.ads,

diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb
index 2748c519b42f74d7ffa39927707db131c04e86e8..60102a9d8acd57ca0208306f739fa980e68131a4 100644 (file)
--- a/gcc/ada/exp_attr.adb
+++ b/gcc/ada/exp_attr.adb
@@ -1390,8 +1390,9 @@ package body Exp_Attr is
                --  This avoids the duplication of the same code which may lead
                --  to gigi issues with respect to multiple declaration of the
                --  same entity in the presence of side effects or checks. Note
-               --  that the condition actions must also be relocated to the
-               --  wrapping function.
+               --  that the condition actions must also be relocated into the
+               --  wrapping function because they may contain itypes, e.g. in
+               --  the case of a comparison involving slices.
 
                --  Generate:
                --    <condition actions>