[COMMITTED] ada: Add assertion for the implementation of storage models
Commit Message
From: Eric Botcazou <ebotcazou@adacore.com>
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.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/gcc-interface/trans.cc | 3 +++
1 file changed, 3 insertions(+)
@@ -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