diff options
| author | Yannick Moy <moy@adacore.com> | 2023-06-20 15:30:35 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-07-04 10:08:28 +0200 |
| commit | e3f9dc2795eccfae4bf878ff6b29d50ff5139011 (patch) | |
| tree | 427a8c036ef71c5e22c63b8324058d70aa996d00 /gcc/rust | |
| parent | f703d2fd3f03890a180e8cc04df087c208999e81 (diff) | |
| download | gcc-e3f9dc2795eccfae4bf878ff6b29d50ff5139011.zip gcc-e3f9dc2795eccfae4bf878ff6b29d50ff5139011.tar.gz gcc-e3f9dc2795eccfae4bf878ff6b29d50ff5139011.tar.bz2 | |
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.
Diffstat (limited to 'gcc/rust')
0 files changed, 0 insertions, 0 deletions