diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-14 14:37:45 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-14 14:37:45 +0200 |
| commit | 577ee3a966170affb106f7a768f5253c692ef230 (patch) | |
| tree | 59847790b25a063269e64e2337b8c480ef42c157 /gcc/ada/adaint.c | |
| parent | d1d81616ecc0fe14487a862ad25b64a83da6173b (diff) | |
| download | gcc-577ee3a966170affb106f7a768f5253c692ef230.zip gcc-577ee3a966170affb106f7a768f5253c692ef230.tar.gz gcc-577ee3a966170affb106f7a768f5253c692ef230.tar.bz2 | |
[multiple changes]
2013-10-14 Robert Dewar <dewar@adacore.com>
* exp_prag.adb (Expand_Pragma_Check): Generate proper string
for invariant
* gnat_rm.texi: Add documentation for pragmas
Type_Invariant[_Class]
* par-prag.adb: Add entries for pragmas Type_Invariant[_Class]
* sem_ch13.adb: Minor reformatting
* sem_prag.adb: Implement pragmas Type_Invariant[_Class]
* snames.ads-tmpl: Add entries for pragmas Type_Invariant[_Class]
2013-10-14 Johannes Kanig <kanig@adacore.com>
* debug.adb: Release now unused debug switches that were only
relevant for gnat2why backend, not the frontend
* frontend.adb (Frontend) Do not stop when -gnatd.H is present,
was unused
From-SVN: r203524
Diffstat (limited to 'gcc/ada/adaint.c')
0 files changed, 0 insertions, 0 deletions