mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-05 22:01:27 +08:00
Code Issues Packages Projects Releases Wiki Activity

exp_util.adb (Side_Effect_Free): Scalar if expressions can be SEF.

Browse Source 
2014-02-19  Robert Dewar  <dewar@adacore.com>

	* exp_util.adb (Side_Effect_Free): Scalar if expressions can be SEF.

From-SVN: r207892
This commit is contained in:
Robert Dewar 2014-02-19 11:07:31 +00:00 committed by Arnaud Charlet
parent a767d69b62
commit e7cff5af6f
2 changed files with 18 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/ada/ChangeLog
View File

@ -1,3 +1,7 @@
2014-02-19 Robert Dewar <dewar@adacore.com>
* exp_util.adb (Side_Effect_Free): Scalar if expressions can be SEF.
2014-02-19 Robert Dewar <dewar@adacore.com>
* exp_util.adb: Update comments.

21
gcc/ada/exp_util.adb
View File

@ -7675,6 +7675,9 @@ package body Exp_Util is
Name_Req : Boolean := False;
Variable_Ref : Boolean := False) return Boolean
is
Typ : constant Entity_Id := Etype (N);
-- Result type of the expression
function Safe_Prefixed_Reference (N : Node_Id) return Boolean;
-- The argument N is a construct where the Prefix is dereferenced if it
-- is an access type and the result is a variable. The call returns True
@ -7919,7 +7922,7 @@ package body Exp_Util is
elsif VM_Target /= No_VM
and then not Comes_From_Source (N)
and then Nkind (Parent (N)) = N_Object_Renaming_Declaration
and then Is_Class_Wide_Type (Etype (N))
and then Is_Class_Wide_Type (Typ)
then
return True;
end if;
@ -7981,12 +7984,16 @@ package body Exp_Util is
Side_Effect_Free
(First (Parameter_Associations (N)), Name_Req, Variable_Ref);
-- An IF expression is side effect free if its components are all
-- side effect free (conditions and then actions and else actions).
-- An IF expression is side effect free if it's of a scalar type, and
-- all its components are all side effect free (conditions and then
-- actions and else actions). We restrict to scalar types, since it
-- is annoying to deal with things like (if A then B else C)'First
-- where the type involved is a string type.
-- when N_If_Expression =>
-- return Side_Effect_Free (Expressions (N), Name_Req, Variable_Ref);
-- commented out for now, caused some crashes ???
when N_If_Expression =>
return Is_Scalar_Type (Typ)
and then
Side_Effect_Free (Expressions (N), Name_Req, Variable_Ref);
-- An indexed component is side effect free if it is a side
-- effect free prefixed reference and all the indexing
@ -8014,7 +8021,7 @@ package body Exp_Util is
when N_Selected_Component =>
if Nkind (Parent (N)) = N_Explicit_Dereference
and then Has_Non_Standard_Rep (Designated_Type (Etype (N)))
and then Has_Non_Standard_Rep (Designated_Type (Typ))
then
return False;
else