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>
	Tue, 20 Jun 2023 13:30:35 +0000 (15:30 +0200)
committer	Marc Poulhiès <poulhies@adacore.com>
	Tue, 4 Jul 2023 08:08:28 +0000 (10:08 +0200)
commit	e3f9dc2795eccfae4bf878ff6b29d50ff5139011
tree	427a8c036ef71c5e22c63b8324058d70aa996d00	tree \| snapshot
parent	f703d2fd3f03890a180e8cc04df087c208999e81	commit \| diff

ada: Fix list of inherited subprograms in query for GNATprove

The query Inherited_Subprograms was returning a list containing
some subprograms whose overridding was also in the list, when
interfaces was present. This was an issue for GNATprove. Now propose
a mode for this function to filter out overridden primitives.

gcc/ada/

* sem_disp.adb (Inherited_Subprograms): Add parameter to filter
out results.
* sem_disp.ads: Likewise.

gcc/ada/sem_disp.adb		diff \| blob \| blame \| history
gcc/ada/sem_disp.ads		diff \| blob \| blame \| history

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

RSS Atom