[gcc r13-4288] ada: Add assertion for the implementation of storage models

[Marc Poulhi?s <dkm@gcc.gnu.org>]

https://gcc.gnu.org/g:7f77aa6b2f04781faa78373add11538d276c8ae4

commit r13-4288-g7f77aa6b2f04781faa78373add11538d276c8ae4
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Tue Nov 22 13:03:00 2022 +0100

    ada: Add assertion for the implementation of storage models
    
    We cannot generate a call to memset for an aggregate with an Others choice
    when the target of the assignment has a storage model with Copy_To routine.
    
    gcc/ada/
    
            * gcc-interface/trans.cc (gnat_to_gnu) <N_Assignment_Statement>: Add
            assertion that memset is not supposed to be used when the target has
            a storage model with Copy_To routine.

Diff:
---
 gcc/ada/gcc-interface/trans.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gcc/ada/gcc-interface/trans.cc b/gcc/ada/gcc-interface/trans.cc
index 1cd621a9377..b9d7c015a73 100644
--- a/gcc/ada/gcc-interface/trans.cc
+++ b/gcc/ada/gcc-interface/trans.cc
@@ -7450,6 +7450,9 @@ gnat_to_gnu (Node_Id gnat_node)
 	  else if (Present (gnat_smo)
 		   && Present (Storage_Model_Copy_To (gnat_smo)))
 	    {
+	      /* We obviously cannot use memset in this case.  */
+	      gcc_assert (!use_memset_p);
+
 	      tree t = remove_conversions (gnu_rhs, false);
 
 	      /* If a storage model load is present on the RHS then instantiate