This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r106972 - in /trunk/gcc/ada: exp_ch5.adb sem_ch...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 15 Nov 2005 13:57:38 -0000
- Subject: r106972 - in /trunk/gcc/ada: exp_ch5.adb sem_ch...
Author: charlet
Date: Tue Nov 15 13:57:37 2005
New Revision: 106972
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=106972
Log:
2005-11-14 Cyrille Comar <comar@adacore.com>
Thomas Quinot <quinot@adacore.com>
* exp_ch5.adb (Expand_N_Assignment_Statement, Tagged_Case): For an
assignment of a value of a tagged type that has been rewritten to a
block statement, it is known by construction that no checks are
necessary for the statements within the block: analyze it with checks
suppressed.
(Expand_N_If_Statement): When killing a dead then-branch in an
if-statement that has elsif_parts, recompute the Current_Value node
for any entity whose value is known from the condition of the first
elsif_part.
(Expand_N_Return_Statement): When returning a mutable record, convert
the return value into its actual subtype in order to help the backend
to return the actual size instead of the maximum. This is another
aftermath of not returning mutable records on the sec-stack anymore.
* sem_ch5.ads, sem_ch5.adb (Analyze_Iteration_Scheme): Minor change to
handling of error msg for suspicious reverse range iteration.
(Check_Possible_Current_Value_Condition): Move declaration from body to
spec, to allow this subprogram to be called from exp_ch5.
Modified:
trunk/gcc/ada/exp_ch5.adb
trunk/gcc/ada/sem_ch5.adb
trunk/gcc/ada/sem_ch5.ads