From: Ronan Desplanques Date: Fri, 5 Sep 2025 11:44:04 +0000 (+0200) Subject: ada: Fix comment about operational aspects X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=dadb33b99aeff5a5f896c6e5a5e33509fc9a6f2c;p=thirdparty%2Fgcc.git ada: Fix comment about operational aspects The comment this patch changes claimed that operational aspects are "view-specific". The following excerpt from ARM 13.1 (11/5) indicates that the set of view-specific aspects is in fact much more restricted: If a type-related aspect is defined for the partial view of a type, then it has the same definition for the full view of the type, except for certain Boolean-valued operational aspects where the language specifies that the partial view can have the value False even when the full view has the value True. On the other hand, a feature of operational aspects is that they can be specified on partial views, unlike representation aspects. That's stated by AARM 13.1 (9.c/1): Unlike representation items, operational items can be specified on partial views. So this patch changes the comment to be about that instead. gcc/ada/ChangeLog: * aspects.ads: Fix comment. --- diff --git a/gcc/ada/aspects.ads b/gcc/ada/aspects.ads index 0c98ab8ee81..ab87f54f20a 100644 --- a/gcc/ada/aspects.ads +++ b/gcc/ada/aspects.ads @@ -369,7 +369,7 @@ package Aspects is others => False); -- The following array indicates aspects that specify operational - -- characteristics, and thus are view-specific. + -- characteristics, and thus can be specified on partial views. -- List is currently incomplete ??? Operational_Aspect : constant array (Aspect_Id) of Boolean :=