projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 061bc17) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 29 Oct 2012 10:48:00 +0000 (11:48 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 29 Oct 2012 10:48:00 +0000 (11:48 +0100)
commit9c79f208a3b8ba3c84f5ced0279a79f2cac0f50b
tree634164c34e9976a1840c637298117cdfa7933370tree | snapshot
parent061bc17d25f9e54b0a8434a07a19e1c3fcf3a77ccommit | diff
[multiple changes]

2012-10-29  Arnaud Charlet  <charlet@adacore.com>

* s-win32.ads: Kill potential warning.

2012-10-29  Yannick Moy  <moy@adacore.com>

* gnat_rm.texi: Describe new pragma Assert_And_Cut.
* par-prag.adb, sem_prag.adb, snames.ads-tmpl: Add new pragma
and treat it like pragma Assert.

From-SVN: r192923
gcc/ada/gnat_rm.texi diff | blob | history
gcc/ada/par-prag.adb diff | blob | history
gcc/ada/s-win32.ads diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history
gcc/ada/snames.ads-tmpl diff | blob | history
Domain: System / Toolchain;