This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r206878 - in /trunk/gcc/ada: ChangeLog back_end...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 21 Jan 2014 11:58:21 -0000
- Subject: r206878 - in /trunk/gcc/ada: ChangeLog back_end...
Author: charlet
Date: Tue Jan 21 11:58:20 2014
New Revision: 206878
URL: http://gcc.gnu.org/viewcvs?rev=206878&root=gcc&view=rev
Log:
2014-01-21 Thomas Quinot <quinot@adacore.com>
* exp_ch5.adb: Fix comment.
* switch-c.adb: Minor comment update.
* exp_ch3.adb: Minor reformatting.
2014-01-21 Arnaud Charlet <charlet@adacore.com>
* back_end.adb (Scan_Compiler_Arguments): Do not store object
filename in gnatprove mode.
2014-01-21 Thomas Quinot <quinot@adacore.com>
* sinfo.ads (No_Ctrl_Actions): Clarify documentation (flag also
suppresses usage of primitive _assign for tagged types).
* exp_aggr.adb (Build_Array_Aggr_Code.Gen_Assign): Set
No_Ctrl_Actions for a tagged type that does not require
finalization, as we want to disable usage of _assign (which
may cause undesirable discriminant checks on an uninitialized,
invalid target).
2014-01-21 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb: Reject invariant'class on completion.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/back_end.adb
trunk/gcc/ada/exp_aggr.adb
trunk/gcc/ada/exp_ch3.adb
trunk/gcc/ada/exp_ch5.adb
trunk/gcc/ada/sem_prag.adb
trunk/gcc/ada/sinfo.ads
trunk/gcc/ada/switch-c.adb