This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r177153 - in /trunk/gcc/ada: ChangeLog errout.a...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 02 Aug 2011 13:43:05 -0000
- Subject: r177153 - in /trunk/gcc/ada: ChangeLog errout.a...
Author: charlet
Date: Tue Aug 2 13:43:04 2011
New Revision: 177153
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=177153
Log:
2011-08-02 Yannick Moy <moy@adacore.com>
* sem_res.adb (Resolve_Logical_Op): ensure N is a binary operator
before accessing operands.
* sem_util.adb (Is_SPARK_Initialization_Expr): follow original nodes to
decide whether an initialization expression respects SPARK rules, as
the plain node is the expanded one. This allows for more valid warnings
to be issued.
* gnat_rm.texi: Minor update.
2011-08-02 Arnaud Charlet <charlet@adacore.com>
* sem_ch13.adb (Analyze_Enumeration_Representation_Clause): Revert
previous change.
2011-08-02 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb, sem_ch4.adb: Minor reformatting.
2011-08-02 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch5.adb (Expand_Iterator_Loop): Reformatting. Wrap the original
loop statements and the element renaming declaration with a block when
the element type is controlled.
2011-08-02 Yannick Moy <moy@adacore.com>
* sinfo.ads: Minor formatting.
2011-08-02 Ed Schonberg <schonberg@adacore.com>
* sem_aggr.adb (Add_Association): if the association has a box and no
expression, use the Sloc of the aggregate itself for the new
association.
* errout.adb (First_Node): Exclude nodes with no Sloc, and always use
the Original_Node.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/errout.adb
trunk/gcc/ada/exp_ch5.adb
trunk/gcc/ada/gnat_rm.texi
trunk/gcc/ada/sem_aggr.adb
trunk/gcc/ada/sem_ch13.adb
trunk/gcc/ada/sem_ch3.adb
trunk/gcc/ada/sem_ch4.adb
trunk/gcc/ada/sem_res.adb
trunk/gcc/ada/sem_util.adb
trunk/gcc/ada/sinfo.ads