| commit | d1e196d39e592d053d2528b11874a6c228932431 | |
| author | Piotr Trojanek <trojanek@adacore.com> | |
| Fri, 3 Mar 2023 16:27:40 +0000 (3 17:27 +0100) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Thu, 25 May 2023 07:44:16 +0000 (25 09:44 +0200) | ||
| tree | 75137d3207c8cc5212bc5c67faa24d8e61d3a61e | treesnapshot (tar.gz zip) |
| parent | c7b84ce699965738b0f2f2d15039c716255f7588 | commitdiff |
ada: Remove redundant guards from calls to Move_Aspects
Routine Move_Aspects does nothing if its From parameter has no aspects.
There is no need to check this at the call sites.
Code cleanup related to changes in handling of expressions functions in
GNATprove; semantics is unaffected.
gcc/ada/
* par-ch7.adb (P_Package): Remove redundant guard from call to
Move_Aspects.
* par-ch9.adb (P_Task): Likewise.
* sem_ch6.adb (Analyze_Expression_Function, Is_Inline_Pragma): Likewise.
Routine Move_Aspects does nothing if its From parameter has no aspects.
There is no need to check this at the call sites.
Code cleanup related to changes in handling of expressions functions in
GNATprove; semantics is unaffected.
gcc/ada/
* par-ch7.adb (P_Package): Remove redundant guard from call to
Move_Aspects.
* par-ch9.adb (P_Task): Likewise.
* sem_ch6.adb (Analyze_Expression_Function, Is_Inline_Pragma): Likewise.
| gcc/ada/par-ch7.adb | diffblobblamehistory | |
| gcc/ada/par-ch9.adb | diffblobblamehistory | |
| gcc/ada/sem_ch6.adb | diffblobblamehistory |