projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f85303) | patch
sem_aggr.adb, [...]: cleanup of SPARK mode
authorYannick Moy <moy@adacore.com>
Tue, 2 Aug 2011 15:10:17 +0000 (15:10 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 2 Aug 2011 15:10:17 +0000 (17:10 +0200)
commit2ba431e53edd2d06e5040a585454680990935d9d
tree17782362e9211837a9f24856f0f7c0d5c803a897tree
parent0f85303509461f48131fcd3c34d1c159b6771dd1commit | diff
sem_aggr.adb, [...]: cleanup of SPARK mode

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

* sem_aggr.adb, err_vars.ads, sem_ch3.adb, sem_ch5.adb, sem_ch9.adb,
debug.adb, sem_util.adb, sem_res.adb, sem_attr.adb, gnat1drv.adb,
errout.adb, errout.ads, exp_ch6.adb, sem_ch4.adb, restrict.adb,
restrict.ads, sem_ch6.adb, sem_ch8.adb, sem_ch11.adb,
opt.ads: cleanup of SPARK mode

From-SVN: r177175
21 files changed:
gcc/ada/ChangeLog diff | blob | history
gcc/ada/debug.adb diff | blob | history
gcc/ada/err_vars.ads diff | blob | history
gcc/ada/errout.adb diff | blob | history
gcc/ada/errout.ads diff | blob | history
gcc/ada/exp_ch6.adb diff | blob | history
gcc/ada/gnat1drv.adb diff | blob | history
gcc/ada/opt.ads diff | blob | history
gcc/ada/restrict.adb diff | blob | history
gcc/ada/restrict.ads diff | blob | history
gcc/ada/sem_aggr.adb diff | blob | history
gcc/ada/sem_attr.adb diff | blob | history
gcc/ada/sem_ch11.adb diff | blob | history
gcc/ada/sem_ch3.adb diff | blob | history
gcc/ada/sem_ch4.adb diff | blob | history
gcc/ada/sem_ch5.adb diff | blob | history
gcc/ada/sem_ch6.adb diff | blob | history
gcc/ada/sem_ch8.adb diff | blob | history
gcc/ada/sem_ch9.adb diff | blob | history
gcc/ada/sem_res.adb diff | blob | history
gcc/ada/sem_util.adb diff | blob | history