[Ada] Minor comment addition

2018-05-30  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

	* gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>: Add
	comment about the memset case.

From-SVN: r260931

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index c2b6338f4ee3bae25806e40f75101e4832e29c1d..df1daacec691c8877aeae7f4a573a972d96313dd 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2018-05-30  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>: Add
+       comment about the memset case.
+
 2018-05-30  Bob Duff  <duff@adacore.com>
 
        * exp_ch5.adb (Expand_Formal_Container_Element_Loop): Remove the code

diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c
index f5304eb8a0f095c1fbe28d8bdbb80cc820f62a7f..5ad480a7979b566b6440a8d0e13f735d93a29b63 100644 (file)
--- a/gcc/ada/gcc-interface/trans.c
+++ b/gcc/ada/gcc-interface/trans.c
@@ -7050,7 +7050,9 @@ gnat_to_gnu (Node_Id gnat_node)
          else if (atomic_access_required_p (Name (gnat_node), &sync))
            gnu_result = build_atomic_store (gnu_lhs, gnu_rhs, sync);
 
-         /* Or else, use memset when the conditions are met.  */
+         /* Or else, use memset when the conditions are met.  This has already
+            been validated by Aggr_Assignment_OK_For_Backend in the front-end
+            and the RHS is thus guaranteed to be of the appropriate form.  */
          else if (use_memset_p)
            {
              tree value