diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2023-07-25 23:03:22 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-08-03 14:07:36 +0200 |
| commit | 3b21dae599fe172c786836da508bad91372b4d09 (patch) | |
| tree | fc91e3f362ba268a2c9ae6a7e139b00152e9b3c9 /gcc/value-range.h | |
| parent | 5825635336fec18a26cd17cf47ccf97ed8eb2756 (diff) | |
| download | gcc-3b21dae599fe172c786836da508bad91372b4d09.zip gcc-3b21dae599fe172c786836da508bad91372b4d09.tar.gz gcc-3b21dae599fe172c786836da508bad91372b4d09.tar.bz2 | |
ada: Fix spurious error on 'Input of private type with Type_Invariant aspect
The problem is that it is necessary to break the privacy during the
expansion of the Input attribute, which may introduce a view mismatch
with the parameter of the routine checking the invariant of the type.
gcc/ada/
* exp_util.adb (Make_Invariant_Call): Convert the expression to
the type of the formal parameter if need be.
Diffstat (limited to 'gcc/value-range.h')
0 files changed, 0 insertions, 0 deletions