projects / platform / upstream / linaro-gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eede3b4) | patch
2012-03-19 Yannick Moy <moy@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 19 Mar 2012 16:31:20 +0000 (16:31 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 19 Mar 2012 16:31:20 +0000 (16:31 +0000)
commite6ae24fa4f4d7564a42981e3415e3450915a3866
tree22e0379c0f58d394a21ff19982fbaeba29ea359ctree | snapshot
parenteede3b44e26f5f2c6505580f999f59802f6cd48ccommit | diff
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).

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