diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 11:55:51 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 11:55:51 +0200 |
| commit | cb7fa356f01ab948150d228fac70a3e55575650d (patch) | |
| tree | 0dd193e8acf66a39a36fd7fc2383ffc0c01249d7 /gcc/ada/adaint.c | |
| parent | 1089a00a2f73a9137562844e774c9c3db4314b79 (diff) | |
| download | gcc-cb7fa356f01ab948150d228fac70a3e55575650d.zip gcc-cb7fa356f01ab948150d228fac70a3e55575650d.tar.gz gcc-cb7fa356f01ab948150d228fac70a3e55575650d.tar.bz2 | |
[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
Diffstat (limited to 'gcc/ada/adaint.c')
0 files changed, 0 insertions, 0 deletions