diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2015-02-08 10:12:38 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2015-02-08 10:12:38 +0000 |
| commit | 57f4f0d5f662eec0aa38ac0f554262ce072a8eeb (patch) | |
| tree | 0051b78ac611dff575529484aa1235a96db8faa9 /gcc/ada | |
| parent | 86ceee8522f4877bd76cd1848e7b39a9b1ce98ce (diff) | |
| download | gcc-57f4f0d5f662eec0aa38ac0f554262ce072a8eeb.zip gcc-57f4f0d5f662eec0aa38ac0f554262ce072a8eeb.tar.gz gcc-57f4f0d5f662eec0aa38ac0f554262ce072a8eeb.tar.bz2 | |
decl.c (gnat_to_gnu_param): Do not strip the padding if the parameter either is passed by reference or if...
* gcc-interface/decl.c (gnat_to_gnu_param): Do not strip the padding
if the parameter either is passed by reference or if the alignment
would be lowered.
From-SVN: r220514
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/ada/gcc-interface/decl.c | 10 |
2 files changed, 12 insertions, 4 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 59c6c38..874779e 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,11 @@ 2015-02-08 Eric Botcazou <ebotcazou@adacore.com> + * gcc-interface/decl.c (gnat_to_gnu_param): Do not strip the padding + if the parameter either is passed by reference or if the alignment + would be lowered. + +2015-02-08 Eric Botcazou <ebotcazou@adacore.com> + * gcc-interface/decl.c (is_cplusplus_method): Use Is_Primitive flag to detect primitive operations of tagged and untagged types. diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c index c7d64aa..94043b6 100644 --- a/gcc/ada/gcc-interface/decl.c +++ b/gcc/ada/gcc-interface/decl.c @@ -5659,15 +5659,17 @@ gnat_to_gnu_param (Entity_Id gnat_param, Mechanism_Type mech, } /* If this is either a foreign function or if the underlying type won't - be passed by reference, strip off possible padding type. */ + be passed by reference and is as aligned as the original type, strip + off possible padding type. */ if (TYPE_IS_PADDING_P (gnu_param_type)) { tree unpadded_type = TREE_TYPE (TYPE_FIELDS (gnu_param_type)); - if (mech == By_Reference - || foreign + if (foreign || (!must_pass_by_ref (unpadded_type) - && (mech == By_Copy || !default_pass_by_ref (unpadded_type)))) + && mech != By_Reference + && (mech == By_Copy || !default_pass_by_ref (unpadded_type)) + && TYPE_ALIGN (unpadded_type) >= TYPE_ALIGN (gnu_param_type))) gnu_param_type = unpadded_type; } |