This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r181529 - in /trunk/gcc/ada: ChangeLog checks.a...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Sun, 20 Nov 2011 11:41:57 -0000
- Subject: r181529 - in /trunk/gcc/ada: ChangeLog checks.a...
Author: charlet
Date: Sun Nov 20 11:41:57 2011
New Revision: 181529
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=181529
Log:
2011-11-20 Eric Botcazou <ebotcazou@adacore.com>
* exp_ch6.adb (Make_Build_In_Place_Call_In_Assignment):
Declare NEW_EXPR local variable and attach the
temporary to it. Set Is_Known_Non_Null on the temporary.
(Make_Build_In_Place_Call_In_Object_Declaration): Likewise.
* exp_util.adb (Remove_Side_Effects): Set Is_Known_Non_Null on
the temporary created to hold the 'Reference of the expression,
if any.
* checks.adb (Install_Null_Excluding_Check): Bail out for the
Get_Current_Excep.all.all idiom generated by the expander.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/checks.adb
trunk/gcc/ada/exp_ch6.adb
trunk/gcc/ada/exp_util.adb