diff options
| author | Robert Dewar <dewar@adacore.com> | 2008-05-28 15:05:55 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-05-28 15:05:55 +0200 |
| commit | ebd01830cf0a220493054bb5811334b43160e17c (patch) | |
| tree | 58a1eb09f3817ec5bf0a3c6762a1c3ff29727f7f | |
| parent | 63bdc3ea178016154ce60cd850dae027f0f54329 (diff) | |
| download | gcc-ebd01830cf0a220493054bb5811334b43160e17c.zip gcc-ebd01830cf0a220493054bb5811334b43160e17c.tar.gz gcc-ebd01830cf0a220493054bb5811334b43160e17c.tar.bz2 | |
2008-05-28 Robert Dewar <dewar@adacore.com>
* exp_ch5.adb:
(Expand_Simple_Function_Return): Copy unaligned result into temporary
From-SVN: r136080
| -rw-r--r-- | gcc/ada/exp_ch5.adb | 25 |
1 files changed, 23 insertions, 2 deletions
diff --git a/gcc/ada/exp_ch5.adb b/gcc/ada/exp_ch5.adb index 8d8a281..18ea8fe 100644 --- a/gcc/ada/exp_ch5.adb +++ b/gcc/ada/exp_ch5.adb @@ -4032,6 +4032,28 @@ package body Exp_Ch5 is end; end if; + -- If we are returning an object that may not be bit-aligned, then + -- copy the value into a temporary first. This copy may need to expand + -- to a loop of component operations.. + + if Is_Possibly_Unaligned_Slice (Exp) + or else Is_Possibly_Unaligned_Object (Exp) + then + declare + Tnn : constant Entity_Id := + Make_Defining_Identifier (Loc, New_Internal_Name ('T')); + begin + Insert_Action (Exp, + Make_Object_Declaration (Loc, + Defining_Identifier => Tnn, + Constant_Present => True, + Object_Definition => New_Occurrence_Of (R_Type, Loc), + Expression => Relocate_Node (Exp)), + Suppress => All_Checks); + Rewrite (Exp, New_Occurrence_Of (Tnn, Loc)); + end; + end if; + -- Generate call to postcondition checks if they are present if Ekind (Scope_Id) = E_Function @@ -4061,8 +4083,7 @@ package body Exp_Ch5 is else declare Tnn : constant Entity_Id := - Make_Defining_Identifier (Loc, - New_Internal_Name ('T')); + Make_Defining_Identifier (Loc, New_Internal_Name ('T')); begin -- For a complex expression of an elementary type, capture |