]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Fix comment about operational aspects
authorRonan Desplanques <desplanques@adacore.com>
Fri, 5 Sep 2025 11:44:04 +0000 (13:44 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 19 Sep 2025 09:26:10 +0000 (11:26 +0200)
commitdadb33b99aeff5a5f896c6e5a5e33509fc9a6f2c
treedb7e4195cfa758eebc9b833139adbe64050ac2d8
parent600e85df55a2372f9af9e0eda0a62cb196f8ea7a
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.
gcc/ada/aspects.ads