This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r189438 - in /trunk/gcc/ada: ChangeLog ali.adb ...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Thu, 12 Jul 2012 10:49:10 -0000
- Subject: r189438 - in /trunk/gcc/ada: ChangeLog ali.adb ...
Author: charlet
Date: Thu Jul 12 10:49:10 2012
New Revision: 189438
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=189438
Log:
2012-07-12 Robert Dewar <dewar@adacore.com>
* s-atopri.adb, s-atopri.ads: Minor reformatting.
2012-07-12 Robert Dewar <dewar@adacore.com>
* ali.adb: Add circuitry to read new named form of restrictions lines.
* debug.adb: Add doc for new -gnatd.R switch (used positional
notation for output of restrictions data in ali file).
* lib-writ.adb: Implement new named format for restrictions lines.
* lib-writ.ads: Add documentation for new named format for
restrictions in ali files.
* restrict.adb, restrict.ads, sem_prag.adb: Update comments.
* rident.ads: Go back to withing System.Rident
* s-rident.ads: Add extensive comment on dealing with consistency
checking.
2012-07-12 Thomas Quinot <quinot@adacore.com>
* par_sco.adb, scos.ads: Emit detailed SCOs for SELECT statements.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/ali.adb
trunk/gcc/ada/debug.adb
trunk/gcc/ada/lib-writ.adb
trunk/gcc/ada/lib-writ.ads
trunk/gcc/ada/par_sco.adb
trunk/gcc/ada/restrict.adb
trunk/gcc/ada/restrict.ads
trunk/gcc/ada/rident.ads
trunk/gcc/ada/s-atopri.adb
trunk/gcc/ada/s-atopri.ads
trunk/gcc/ada/s-rident.ads
trunk/gcc/ada/scos.ads
trunk/gcc/ada/sem_prag.adb