diff options
| author | Javier Miranda <miranda@adacore.com> | 2024-05-30 11:24:54 +0000 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-06-21 10:34:20 +0200 |
| commit | df0637007e08eb11ead3ba4ac76de2b69a115327 (patch) | |
| tree | 3d4caef59eb19260da4f65be638986b3ac59b0bb /libcpp | |
| parent | 2b55cc520cf51089d961414a78e6e5371f3c3e20 (diff) | |
| download | gcc-df0637007e08eb11ead3ba4ac76de2b69a115327.zip gcc-df0637007e08eb11ead3ba4ac76de2b69a115327.tar.gz gcc-df0637007e08eb11ead3ba4ac76de2b69a115327.tar.bz2 | |
ada: Cannot override inherited function with controlling result
When a package has the declaration of a derived tagged
type T with private null extension that inherits a public
function F with controlling result, and a derivation of T
is declared in the public part of another package, overriding
function F may be rejected by the compiler.
gcc/ada/
* sem_disp.adb (Find_Hidden_Overridden_Primitive): Check
public dispatching primitives of ancestors; previously,
only immediately-visible primitives were checked.
Diffstat (limited to 'libcpp')
0 files changed, 0 insertions, 0 deletions