projects / platform / upstream / linaro-gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a8e8da) | patch
2011-08-02 Yannick Moy <moy@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 2 Aug 2011 15:10:17 +0000 (15:10 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 2 Aug 2011 15:10:17 +0000 (15:10 +0000)
commit9eaf25faee9936edd3e68500f547a739b3049cf2
tree17782362e9211837a9f24856f0f7c0d5c803a897tree | snapshot
parent8a8e8da496c163c8d653cc1e8b767070ecb7d0a6commit | diff
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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177175 138bc75d-0d04-0410-961f-82ee72b054a4
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
Domain: System / Toolchain;