checks.adb
251 KB
-
exp_ch6.adb (Make_Build_In_Place_Call_In_Assignment): Declare NEW_EXPR local… · 74cab21a
exp_ch6.adb (Make_Build_In_Place_Call_In_Assignment): Declare NEW_EXPR local variable and attach the temporary to it. 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. From-SVN: r181529
Eric Botcazou committed