aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEric Botcazou <ebotcazou@adacore.com>2020-08-21 15:49:13 +0200
committerPierre-Marie de Rodat <derodat@adacore.com>2020-10-22 08:11:24 -0400
commit67a3b519af65068c5ad8173373068929b99a3912 (patch)
tree97db0dab3a43f2080f7f41ad9af6e6bddb5ce7ca
parent84d7433afffe536bac912082e076d257a0173a1e (diff)
downloadgcc-67a3b519af65068c5ad8173373068929b99a3912.zip
gcc-67a3b519af65068c5ad8173373068929b99a3912.tar.gz
gcc-67a3b519af65068c5ad8173373068929b99a3912.tar.bz2
[Ada] Adjust documentation for Has_Constrained_Partial_View flag
gcc/ada/ * einfo.ads (Has_Constrained_Partial_View): Add "base type" marker.
-rw-r--r--gcc/ada/einfo.ads2
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads
index 107bd10..a3aeb36 100644
--- a/gcc/ada/einfo.ads
+++ b/gcc/ada/einfo.ads
@@ -1576,7 +1576,7 @@ package Einfo is
-- Defined for the given type. Note that this flag can be False even
-- if Component_Size is non-zero (happens in the case of derived types).
--- Has_Constrained_Partial_View (Flag187)
+-- Has_Constrained_Partial_View (Flag187) [base type only]
-- Defined in private type and their completions, when the private
-- type has no discriminants and the full view has discriminants with
-- defaults. In Ada 2005 heap-allocated objects of such types are not