From: Ronan Desplanques Date: Thu, 7 Aug 2025 12:34:56 +0000 (+0200) Subject: ada: Improve documentation comment X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ad410118a7577c5f90279cc6ffbcca9dbd5ab02f;p=thirdparty%2Fgcc.git ada: Improve documentation comment The new version of the comment makes it clearer that Check_Nonoverridable_Aspects is only concerned with cases where a partial view is present. This patch also fixes a reference to an ARM clause in the comment. gcc/ada/ChangeLog: * sem_ch3.adb (Check_Nonoverridable_Aspects): Improve documentation comment. --- diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index 04e3098bea7..8ac0fd3bc91 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -3034,8 +3034,10 @@ package body Sem_Ch3 is or else In_Package_Body (Current_Scope)); procedure Check_Nonoverridable_Aspects; - -- Apply the rule in RM 13.1.1(18.4/4) on iterator aspects that cannot - -- be overridden, and can only be confirmed on derivation. + -- Apply rules for nonoverridable aspects on types with partial views + -- described in RM 13.1.1 (18.6/6). This procedure must only be called + -- in the partial view completion case, i.e. when T points to the + -- full view and Def_Id points to the partial view. procedure Check_Ops_From_Incomplete_Type; -- If there is a tagged incomplete partial view of the type, traverse