| commit | f82fb00286eb774776c5f0e1cfdfd4981764d8f6 | |
| author | Piotr Trojanek <trojanek@adacore.com> | |
| Wed, 5 Apr 2023 21:55:30 +0000 (5 23:55 +0200) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Mon, 29 May 2023 08:23:21 +0000 (29 10:23 +0200) | ||
| tree | 6b4636ebb282628dd953d8db78983e154093e79f | treesnapshot (tar.gz zip) |
| parent | 8eb9a6b4c4b68fb39f02608787e2bd9836544cad | commitdiff |
ada: Cleanup detection of type support subprogram entities
Avoid repeated calls to Get_TSS_Name. Code cleanup related to handling
of dispatching operations in GNATprove; semantics is unaffected.
gcc/ada/
* exp_aggr.adb (Convert_Aggr_In_Allocator): Replace Get_TSS_Name
with a high-level Is_TSS.
* sem_ch6.adb (Check_Conformance): Replace DECLARE block and
nested IF with a call to Get_TSS_Name and a membership test.
(Has_Reliable_Extra_Formals): Refactor repeated calls to
Get_TSS_Name.
* sem_disp.adb (Check_Dispatching_Operation): Replace repeated
calls to Get_TSS_Name with a membership test.
Avoid repeated calls to Get_TSS_Name. Code cleanup related to handling
of dispatching operations in GNATprove; semantics is unaffected.
gcc/ada/
* exp_aggr.adb (Convert_Aggr_In_Allocator): Replace Get_TSS_Name
with a high-level Is_TSS.
* sem_ch6.adb (Check_Conformance): Replace DECLARE block and
nested IF with a call to Get_TSS_Name and a membership test.
(Has_Reliable_Extra_Formals): Refactor repeated calls to
Get_TSS_Name.
* sem_disp.adb (Check_Dispatching_Operation): Replace repeated
calls to Get_TSS_Name with a membership test.
| gcc/ada/exp_aggr.adb | diffblobblamehistory | |
| gcc/ada/sem_ch6.adb | diffblobblamehistory | |
| gcc/ada/sem_disp.adb | diffblobblamehistory |