From df8aa2b7e18670c97076083ea292a0a7b2d08263 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Wed, 30 May 2018 08:57:05 +0000 Subject: [PATCH] [Ada] Minor comment addition 2018-05-30 Eric Botcazou gcc/ada/ * gcc-interface/trans.c (gnat_to_gnu) : Add comment about the memset case. From-SVN: r260931 --- gcc/ada/ChangeLog | 5 +++++ gcc/ada/gcc-interface/trans.c | 4 +++- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index c2b6338f4ee..df1daacec69 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2018-05-30 Eric Botcazou + + * gcc-interface/trans.c (gnat_to_gnu) : Add + comment about the memset case. + 2018-05-30 Bob Duff * 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 f5304eb8a0f..5ad480a7979 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 -- 2.30.2