This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r237515 - in /trunk/gcc/ada: ChangeLog exp_aggr...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Thu, 16 Jun 2016 10:25:48 -0000
- Subject: r237515 - in /trunk/gcc/ada: ChangeLog exp_aggr...
Author: charlet
Date: Thu Jun 16 10:25:47 2016
New Revision: 237515
URL: https://gcc.gnu.org/viewcvs?rev=237515&root=gcc&view=rev
Log:
2016-06-16 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Check_Entry_Contracts): New procedure, subsidiary
of Analyze_Declarations, that performs pre-analysis of
pre/postconditions on entry declarations before full analysis
is performed after entries have been converted into procedures.
Done solely to capture semantic errors.
* sem_attr.adb (Analyze_Attribute, case 'Result): Add guard to
call to Denote_Same_Function.
2016-06-16 Emmanuel Briot <briot@adacore.com>
* g-comlin.adb: Fix minor memory leak in GNAT.Command_Line.
2016-06-16 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch7.adb (Find_Last_Init): Remove obsolete code. The
logic is now performed by Process_Object_Declaration.
(Process_Declarations): Recognize a controlled deferred
constant which is in fact initialized by means of a
build-in-place function call as needing finalization actions.
(Process_Object_Declaration): Insert the counter after the
build-in-place initialization call for a controlled object. This
was previously done in Find_Last_Init.
* exp_util.adb (Requires_Cleanup_Actions): Recognize a controlled
deferred constant which is in fact initialized by means of a
build-in-place function call as needing finalization actions.
2016-06-16 Justin Squirek <squirek@adacore.com>
* exp_aggr.adb (Expand_Array_Aggregate): Minor comment changes and
additional style fixes.
* exp_ch7.adb: Minor typo fixes and reformatting.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/exp_aggr.adb
trunk/gcc/ada/exp_ch7.adb
trunk/gcc/ada/exp_util.adb
trunk/gcc/ada/g-comlin.adb
trunk/gcc/ada/sem_attr.adb
trunk/gcc/ada/sem_ch3.adb