git.ipfire.org Git - thirdparty/gcc.git/commit

]> git.ipfire.org Git - thirdparty/gcc.git/commit

projects / thirdparty / gcc.git / commit

author	Yannick Moy <moy@adacore.com>
	Wed, 24 Apr 2013 14:37:37 +0000 (14:37 +0000)
committer	Arnaud Charlet <charlet@gcc.gnu.org>
	Wed, 24 Apr 2013 14:37:37 +0000 (16:37 +0200)
commit	8a8ac7e3bd0d316ec3f809e29574e9900847d26a
tree	03e28025498e90c0ae683b69533fd9d37a233db9	tree
parent	dd3b3672c49e3cee97fdd35d5c72c849af952862	commit \| 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 \| blame \| history
gcc/ada/sem_ch3.adb		diff \| blob \| blame \| history
gcc/ada/snames.ads-tmpl		diff \| blob \| blame \| history

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom