From a1ad79ed6381825971cccac3c1bdc7dd4d3b11da Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 21 Apr 2016 11:12:45 +0200 Subject: [PATCH] [multiple changes] 2016-04-21 Philippe Gil * krunch.adb (Krunch): Fix krunching of i-java. 2016-04-21 Arnaud Charlet * exp_ch8.adb (Evaluation_Required): Always return True when Modify_Tree_For_C. From-SVN: r235320 --- gcc/ada/ChangeLog | 9 +++++++++ gcc/ada/exp_ch8.adb | 9 +++++++-- gcc/ada/krunch.adb | 1 + 3 files changed, 17 insertions(+), 2 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index ced75bf61e0..c06c004f2c9 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,12 @@ +2016-04-21 Philippe Gil + + * krunch.adb (Krunch): Fix krunching of i-java. + +2016-04-21 Arnaud Charlet + + * exp_ch8.adb (Evaluation_Required): Always return + True when Modify_Tree_For_C. + 2016-04-21 Eric Botcazou * gnatlink.adb (Gnatlink): Robustify detection of Windows target. diff --git a/gcc/ada/exp_ch8.adb b/gcc/ada/exp_ch8.adb index dfd1796ac77..9e06db27417 100644 --- a/gcc/ada/exp_ch8.adb +++ b/gcc/ada/exp_ch8.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2015, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2016, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -116,6 +116,8 @@ package body Exp_Ch8 is -- interested in these operations if they occur as part of the name -- itself, subscripts are just values that are computed as part of the -- evaluation, so their form is unimportant. + -- In addition, always return True for Modify_Tree_For_C since the + -- code generator doesn't know how to handle renamings. ------------------------- -- Evaluation_Required -- @@ -123,7 +125,10 @@ package body Exp_Ch8 is function Evaluation_Required (Nam : Node_Id) return Boolean is begin - if Nkind_In (Nam, N_Indexed_Component, N_Slice) then + if Modify_Tree_For_C then + return True; + + elsif Nkind_In (Nam, N_Indexed_Component, N_Slice) then if Is_Packed (Etype (Prefix (Nam))) then return True; else diff --git a/gcc/ada/krunch.adb b/gcc/ada/krunch.adb index 12b8f713711..a4e0caba3cb 100644 --- a/gcc/ada/krunch.adb +++ b/gcc/ada/krunch.adb @@ -107,6 +107,7 @@ begin or else (Curlen = 9 and then Buffer (3 .. 9) = "fortran") or else (Curlen = 16 and then Buffer (3 .. 16) = "packed_decimal") or else (Curlen > 8 and then Buffer (3 .. 9) = "vxworks") + or else (Curlen > 5 and then Buffer (3 .. 6) = "java") then Krlen := 8; else -- 2.30.2