This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r253940 - in /trunk/gcc/ada: ChangeLog exp_ch3....
- From: pmderodat at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Fri, 20 Oct 2017 14:51:32 -0000
- Subject: r253940 - in /trunk/gcc/ada: ChangeLog exp_ch3....
Author: pmderodat
Date: Fri Oct 20 14:51:32 2017
New Revision: 253940
URL: https://gcc.gnu.org/viewcvs?rev=253940&root=gcc&view=rev
Log:
2017-10-20 Bob Duff <duff@adacore.com>
* sinfo.ads, sinfo.adb (Alloc_For_BIP_Return): New flag to indicate
that an allocator came from a b-i-p return statement.
* exp_ch4.adb (Expand_Allocator_Expression): Avoid adjusting the return
object of a nonlimited build-in-place function call.
* exp_ch6.adb (Expand_N_Extended_Return_Statement): Set the
Alloc_For_BIP_Return flag on generated allocators.
* sem_ch5.adb (Analyze_Assignment): Move Assert to where it can't fail.
If the N_Assignment_Statement has been transformed into something else,
then Should_Transform_BIP_Assignment won't work.
* exp_ch3.adb (Expand_N_Object_Declaration): A previous revision said,
"Remove Adjust if we're building the return object of an extended
return statement in place." Back out that part of the change, because
the Alloc_For_BIP_Return flag is now used for that.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/exp_ch3.adb
trunk/gcc/ada/exp_ch4.adb
trunk/gcc/ada/exp_ch6.adb
trunk/gcc/ada/sem_ch5.adb
trunk/gcc/ada/sinfo.adb
trunk/gcc/ada/sinfo.ads