This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r118303 - in /trunk/gcc/ada: sem_ch5.adb sem_ch...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 31 Oct 2006 18:07:33 -0000
- Subject: r118303 - in /trunk/gcc/ada: sem_ch5.adb sem_ch...
Author: charlet
Date: Tue Oct 31 18:07:33 2006
New Revision: 118303
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=118303
Log:
2006-10-31 Robert Dewar <dewar@adacore.com>
Ed Schonberg <schonberg@adacore.com>
Gary Dismukes <dismukes@adacore.com>
* sem_ch5.ads, sem_ch5.adb (Analyze_Loop_Statement): Add circuit to
warn on infinite loops.
Add \\ to some continuation messages
(Analyze_Assignment_Statement): Call Warn_On_Useless_Assignment
(Process_Bounds): If the bounds are integer literals that result from
constant-folding, and they carry a user-defined type, preserve that type
rather than treating this as an integer range.
(Analyze_Exit_Statement): Test for E_Return_Statement in legality check.
(Analyze_Goto_Statement): Test for E_Return_Stateemnt in legality check.
(Analyze_Assignment_Statement): Add call to Check_Elab_Assign for
left hand side of assignment.
(Analyze_Assignment): Add suport to manage assigments to the attribute
priority of a protected object.
(Check_Possible_Current_Value_Condition): Allow fully qualified names
not just identifiers.
(Check_Possible_Current_Value_Condition): Acquire left operand of AND
or AND THEN for possible tracking.
(Analyze_Iteration_Scheme): Check for setting Current_Value for the
case of while loops so we can track values in the loop body.
Modified:
trunk/gcc/ada/sem_ch5.adb
trunk/gcc/ada/sem_ch5.ads