projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd3b367) | patch
snames.ads-tmpl: Minor change to list Loop_(In)variant not in configuration pragma.
authorYannick Moy <moy@adacore.com>
Wed, 24 Apr 2013 14:37:37 +0000 (14:37 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 24 Apr 2013 14:37:37 +0000 (16:37 +0200)
commit8a8ac7e3bd0d316ec3f809e29574e9900847d26a
tree03e28025498e90c0ae683b69533fd9d37a233db9tree
parentdd3b3672c49e3cee97fdd35d5c72c849af952862commit | diff
snames.ads-tmpl: Minor change to list Loop_(In)variant not in configuration pragma.

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.

From-SVN: r198239
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch3.adb diff | blob | history
gcc/ada/snames.ads-tmpl diff | blob | history