This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r178538 - in /trunk/gcc/ada: ChangeLog lib-xref...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Mon, 05 Sep 2011 13:40:05 -0000
- Subject: r178538 - in /trunk/gcc/ada: ChangeLog lib-xref...
Author: charlet
Date: Mon Sep 5 13:40:04 2011
New Revision: 178538
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=178538
Log:
2011-09-05 Marc Sango <sango@adacore.com>
* sem_ch3.adb (Analyze_Object_Declaration): Remove
the wrong test and add the correct test to detect the violation
of illegal use of unconstrained string type in SPARK mode.
2011-09-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch5.adb (Analyze_Iteration_Specification): Improve error
message on an iterator over an array.
2011-09-05 Robert Dewar <dewar@adacore.com>
* lib-xref-alfa.adb: Minor reformatting.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/lib-xref-alfa.adb
trunk/gcc/ada/sem_ch3.adb
trunk/gcc/ada/sem_ch5.adb