From: Eric Botcazou Date: Tue, 20 Aug 2024 20:59:58 +0000 (+0200) Subject: ada: Pass unaligned record components by copy in calls on all platforms X-Git-Tag: basepoints/gcc-16~6149 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=d8d191469e1e08e7b8530874cbb0f2781dc2e14d;p=thirdparty%2Fgcc.git ada: Pass unaligned record components by copy in calls on all platforms This has historically been done only on platforms requiring the strict alignment of memory references, but this can arguably be considered as being mandated by the language on all of them. gcc/ada/ * gcc-interface/trans.cc (addressable_p) : Take into account the alignment of the field on all platforms. --- diff --git a/gcc/ada/gcc-interface/trans.cc b/gcc/ada/gcc-interface/trans.cc index 3f2eadd7b2b..7cced04361d 100644 --- a/gcc/ada/gcc-interface/trans.cc +++ b/gcc/ada/gcc-interface/trans.cc @@ -10289,9 +10289,8 @@ addressable_p (tree gnu_expr, tree gnu_type) check the alignment of the containing record, as it is guaranteed to be not smaller than that of its most aligned field that is not a bit-field. */ - && (!STRICT_ALIGNMENT - || DECL_ALIGN (TREE_OPERAND (gnu_expr, 1)) - >= TYPE_ALIGN (TREE_TYPE (gnu_expr)))) + && DECL_ALIGN (TREE_OPERAND (gnu_expr, 1)) + >= TYPE_ALIGN (TREE_TYPE (gnu_expr))) /* The field of a padding record is always addressable. */ || TYPE_IS_PADDING_P (TREE_TYPE (TREE_OPERAND (gnu_expr, 0)))) && addressable_p (TREE_OPERAND (gnu_expr, 0), NULL_TREE));