aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorEric Botcazou <ebotcazou@adacore.com>2018-05-30 08:57:05 +0000
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>2018-05-30 08:57:05 +0000
commitdf8aa2b7e18670c97076083ea292a0a7b2d08263 (patch)
tree9ccd8d0e31b610f9353946a13a7c3834f78d746e /gcc
parent5a0c86bdde35b0184cc7c0821b090d6c02cb3921 (diff)
downloadgcc-df8aa2b7e18670c97076083ea292a0a7b2d08263.zip
gcc-df8aa2b7e18670c97076083ea292a0a7b2d08263.tar.gz
gcc-df8aa2b7e18670c97076083ea292a0a7b2d08263.tar.bz2
[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
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ada/ChangeLog5
-rw-r--r--gcc/ada/gcc-interface/trans.c4
2 files changed, 8 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index c2b6338..df1daac 100644
--- 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 f5304eb..5ad480a 100644
--- 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