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

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

projects / thirdparty / gcc.git / commit

author	charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
	Tue, 26 May 2015 10:40:39 +0000 (10:40 +0000)
committer	charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
	Tue, 26 May 2015 10:40:39 +0000 (10:40 +0000)
commit	895fed95cf96735635de543fc9816c4658b085f7
tree	9d0ab815b938ed6c388a8cde4df608b031e40d33	tree
parent	9db9a1a4d9a4d6b2ce66064f8f8ce1825e7c4a00	commit \| diff

2015-05-26 Yannick Moy <moy@adacore.com>

* sem_aux.adb, sem_aux.ads (Get_Low_Bound): Use Type_Low_Bound.
(Package_Body, Package_Spec): New queries moved
here from GNATprove.
(Package_Specification): Simplify query to remove use of loop.
* sem_util.adb, sem_util.ads (Enclosing_Declaration,
Enclosing_Package_Or_Subprogram, Is_Attribute_Update): New
queries moved here from GNATprove.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223681 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ada/ChangeLog		diff \| blob \| blame \| history
gcc/ada/sem_aux.adb		diff \| blob \| blame \| history
gcc/ada/sem_aux.ads		diff \| blob \| blame \| history
gcc/ada/sem_util.adb		diff \| blob \| blame \| history
gcc/ada/sem_util.ads		diff \| blob \| blame \| history

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

RSS Atom