diff options
| author | Javier Miranda <miranda@adacore.com> | 2023-07-27 11:02:20 +0000 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-08-07 13:14:35 +0200 |
| commit | 3ad67df218bf6073f4c783df54cdf0e20fa5e42a (patch) | |
| tree | 859beb1450705b5eb7bb30f0a1edac1c3c9a9e61 /gcc/ada | |
| parent | c5f673dbc252e35e6b66e9b8abd30a4027193e0b (diff) | |
| download | gcc-3ad67df218bf6073f4c783df54cdf0e20fa5e42a.zip gcc-3ad67df218bf6073f4c783df54cdf0e20fa5e42a.tar.gz gcc-3ad67df218bf6073f4c783df54cdf0e20fa5e42a.tar.bz2 | |
ada: Spurious error on class-wide preconditions
The compiler reports an spurious error when a class-wide precondition
expression has a class-wide type conversion.
gcc/ada/
* sem_res.adb (Resolve_Type_Conversion): Do not warn on conversion
to class-wide type on internally build helpers of class-wide
preconditions.
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/sem_res.adb | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index d3a0192..ac0c60f 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -12455,6 +12455,18 @@ package body Sem_Res is elsif Orig_T = Base_Type (Standard_Long_Long_Integer) then null; + -- Do not warn on conversion to class-wide type on helpers of + -- class-wide preconditions because in this context the warning + -- would be spurious (since the class-wide precondition has been + -- installed in the return statement of the helper, which has a + -- class-wide formal type instead of a regular tagged type). + + elsif Is_Class_Wide_Type (Orig_T) + and then Is_Subprogram_Or_Generic_Subprogram (Current_Scope) + and then Present (Class_Preconditions_Subprogram (Current_Scope)) + then + null; + -- Here we give the redundant conversion warning. If it is an -- entity, give the name of the entity in the message. If not, -- just mention the expression. |