diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2021-10-27 23:51:07 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-11-09 09:44:50 +0000 |
| commit | 7df3ac2e9ed53f9320a63f38081561166b140cf2 (patch) | |
| tree | 2db1cc6bae11c9ffb3005ececb868c8edca6e4a5 /gcc/dumpfile.c | |
| parent | a2e4ebe02b1be5ee81b24ff504f58ac9078953c0 (diff) | |
| download | gcc-7df3ac2e9ed53f9320a63f38081561166b140cf2.zip gcc-7df3ac2e9ed53f9320a63f38081561166b140cf2.tar.gz gcc-7df3ac2e9ed53f9320a63f38081561166b140cf2.tar.bz2 | |
[Ada] Tidy up implementation of Has_Compatible_Type
gcc/ada/
* sem_ch4.adb (Analyze_Membership_Op) <Find_Interpretation>: Handle
both overloaded and non-overloaded cases.
<Try_One_Interp>: Do a reversed call to Covers if the outcome of the
call to Has_Compatible_Type is false.
Simplify implementation after change to Find_Interpretation.
(Analyze_User_Defined_Binary_Op): Be prepared for previous errors.
(Find_Comparison_Types) <Try_One_Interp>: Do a reversed call to
Covers if the outcome of the call to Has_Compatible_Type is false.
(Find_Equality_Types) <Try_One_Interp>: Likewise.
* sem_type.adb (Has_Compatible_Type): Remove the reversed calls to
Covers. Add explicit return on all paths.
Diffstat (limited to 'gcc/dumpfile.c')
0 files changed, 0 insertions, 0 deletions