[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Tue, 2 Aug 2011 09:55:51 +0000 (11:55 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 2 Aug 2011 09:55:51 +0000 (11:55 +0200)
commitcb7fa356f01ab948150d228fac70a3e55575650d
tree0dd193e8acf66a39a36fd7fc2383ffc0c01249d7
parent1089a00a2f73a9137562844e774c9c3db4314b79
[multiple changes]

2011-08-02  Arnaud Charlet  <charlet@adacore.com>

* s-osinte-linux.ads: Minor comment update and reformatting.
* i-cexten.ads: Make this unit pure, as for its parent.
Will allow its usage in more contexts if needed.

2011-08-02  Robert Dewar  <dewar@adacore.com>

* s-utf_32.ads: Minor comment fix.

2011-08-02  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb (Resolve_Actuals): if the subprogram is a primitive
operation of a tagged synchronized type, handle the case where the
controlling argument is overloaded.

2011-08-02  Yannick Moy  <moy@adacore.com>

* gnat_rm.texi, opt.ads, sem_prag.adb, snames.ads-tmpl:
Replace pragma SPARK_95 with pragma Restrictions (SPARK)
* par-prag.adb (Process_Restrictions_Or_Restriction_Warnings): set
SPARK mode and formal verification mode on processing SPARK restriction
* s-rident.ads (Restriction_Id): add SPARK restriction in those not
requiring consistency checking.

From-SVN: r177117
gcc/ada/ChangeLog
gcc/ada/gnat_rm.texi
gcc/ada/i-cexten.ads
gcc/ada/opt.ads
gcc/ada/par-prag.adb
gcc/ada/s-osinte-linux.ads
gcc/ada/s-rident.ads
gcc/ada/s-utf_32.ads
gcc/ada/sem_prag.adb
gcc/ada/sem_res.adb
gcc/ada/snames.ads-tmpl