projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 78c0f01) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 19 Mar 2012 16:31:20 +0000 (17:31 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 19 Mar 2012 16:31:20 +0000 (17:31 +0100)
commit119e3be6ca8ad32ed4cb683a5d1f7ae0b7279a8a
tree22e0379c0f58d394a21ff19982fbaeba29ea359ctree | snapshot
parent78c0f016063f856d4d35ba5591fbe825d7ab6544commit | diff
[multiple changes]

2012-03-19  Yannick Moy  <moy@adacore.com>

* sem_ch6.adb (Check_Subprogram_Contract): Do not emit warnings
on trivially True or False postconditions and Ensures components
of contract-cases.

2012-03-19  Robert Dewar  <dewar@adacore.com>

* gnat_ugn.texi: Fix index entry for -gnatei (now we have
ug_words entry).

From-SVN: r185527
gcc/ada/ChangeLog diff | blob | history
gcc/ada/gnat_ugn.texi diff | blob | history
gcc/ada/sem_ch6.adb diff | blob | history
gcc/ada/ug_words diff | blob | history
Domain: System / Toolchain;