projects / platform / upstream / linaro-gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: af9a0cc) | patch
2013-04-24 Yannick Moy <moy@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 24 Apr 2013 14:37:37 +0000 (14:37 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 24 Apr 2013 14:37:37 +0000 (14:37 +0000)
commiteba012d3b951cad234daa7e4a9bbdc502ccc034a
tree03e28025498e90c0ae683b69533fd9d37a233db9tree | snapshot
parentaf9a0cc36a514d2602b322d5a1dd8336c44307a3commit | diff
2013-04-24  Yannick Moy  <moy@adacore.com>

* snames.ads-tmpl: Minor change to list
Loop_(In)variant not in configuration pragma.
* sem_ch3.adb (Analyze_Declarations): Do not look at the original node
for analyzing the expressions in pre/postconditions.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@198239 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch3.adb diff | blob | history
gcc/ada/snames.ads-tmpl diff | blob | history
Domain: System / Toolchain;