diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2019-07-22 13:57:37 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-22 13:57:37 +0000 |
| commit | 116992570783944a12e64e63db9f5a2445e10016 (patch) | |
| tree | aa4626c07b776c514f379053f983b825910d797f /gcc/ada/sem_spark.adb | |
| parent | ff9d220ede29dc7d0d40933733180f12cba54f17 (diff) | |
| download | gcc-116992570783944a12e64e63db9f5a2445e10016.zip gcc-116992570783944a12e64e63db9f5a2445e10016.tar.gz gcc-116992570783944a12e64e63db9f5a2445e10016.tar.bz2 | |
[Ada] Fix spurious visibility error for tagged type with inlining
This fixes a spurious visibility error for the very peculiar case where
an operator that operates on the class-wide type of a tagged type is
declared in a package, the operator is renamed in another package where
a subtype of the tagged type is declared, and both packages end up in
the transititive closure of a unit compiled with optimization and
inter-inlining (-gnatn).
2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* sem_ch8.adb (End_Use_Type): Reset the In_Use flag on the
class-wide type if the type is tagged.
(Use_One_Type): Add commentary on the handling of the class-wide
type.
gcc/testsuite/
* gnat.dg/inline17.adb, gnat.dg/inline17_pkg1.adb,
gnat.dg/inline17_pkg1.ads, gnat.dg/inline17_pkg2.ads,
gnat.dg/inline17_pkg3.adb, gnat.dg/inline17_pkg3.ads: New
testcase.
From-SVN: r273683
Diffstat (limited to 'gcc/ada/sem_spark.adb')
0 files changed, 0 insertions, 0 deletions