OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Avoid creating temporaries in Universal_Integer, continued

Browse Source 
2020-06-03  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

	* exp_util.adb (Remove_Side_Effects): For a type conversion, do
	not remove the side effects of the expression only if it is of
	universal integer type.
This commit is contained in:
Eric Botcazou 2020-01-13 21:17:48 +01:00 committed by Pierre-Marie de Rodat
parent a10340812c
commit e4542648e1
1 changed files with 8 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
gcc/ada/exp_util.adb
View File

@ -11428,12 +11428,15 @@ package body Exp_Util is
goto Leave;
-- If this is a type conversion, leave the type conversion and remove
-- the side effects in the expression. This is important in several
-- circumstances: for change of representations, and also when this is a
-- view conversion to a smaller object, where gigi can end up creating
-- its own temporary of the wrong size.
-- side effects in the expression, unless it is of universal integer,
-- which is a very large type for a temporary. This is important in
-- several circumstances: for change of representations and also when
-- this is a view conversion to a smaller object, where gigi can end
-- up creating its own temporary of the wrong size.
elsif Nkind (Exp) = N_Type_Conversion then
elsif Nkind (Exp) = N_Type_Conversion
and then Etype (Expression (Exp)) /= Universal_Integer
then
Remove_Side_Effects (Expression (Exp), Name_Req, Variable_Ref);
-- Generating C code the type conversion of an access to constrained