aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorYannick Moy <moy@adacore.com>2020-07-17 09:47:44 +0200
committerPierre-Marie de Rodat <derodat@adacore.com>2020-10-20 03:21:37 -0400
commit562ccc89f50fd7fa7b89ec07d2d3863172869e79 (patch)
tree34699e0d4824e269257b9a26328fb492715481ff /gcc
parent8281a07f0cd02f96690b7c96a4768c68c44917a2 (diff)
downloadgcc-562ccc89f50fd7fa7b89ec07d2d3863172869e79.zip
gcc-562ccc89f50fd7fa7b89ec07d2d3863172869e79.tar.gz
gcc-562ccc89f50fd7fa7b89ec07d2d3863172869e79.tar.bz2
[Ada] Fix comments as volatility properties can apply to objects
gcc/ada/ * sem_util.adb, sem_util.ads: Comment fix.
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ada/sem_util.adb2
-rw-r--r--gcc/ada/sem_util.ads8
2 files changed, 5 insertions, 5 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 085ec69..f85dfd7 100644
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -116,7 +116,7 @@ package body Sem_Util is
(Item_Id : Entity_Id;
Property : Name_Id) return Boolean;
-- Subsidiary to routines Async_xxx_Enabled and Effective_xxx_Enabled.
- -- Determine whether the state abstraction, variable, or type denoted by
+ -- Determine whether the state abstraction, object, or type denoted by
-- entity Item_Id has enabled property Property.
function Has_Null_Extension (T : Entity_Id) return Boolean;
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
index 181c657..73c7d2b 100644
--- a/gcc/ada/sem_util.ads
+++ b/gcc/ada/sem_util.ads
@@ -157,11 +157,11 @@ package Sem_Util is
-- force an error).
function Async_Readers_Enabled (Id : Entity_Id) return Boolean;
- -- Id should be the entity of a state abstraction, a variable, or a type.
+ -- Id should be the entity of a state abstraction, an object, or a type.
-- Returns True iff Id is subject to external property Async_Readers.
function Async_Writers_Enabled (Id : Entity_Id) return Boolean;
- -- Id should be the entity of a state abstraction, a variable, or a type.
+ -- Id should be the entity of a state abstraction, an object, or a type.
-- Returns True iff Id is subject to external property Async_Writers.
function Available_Full_View_Of_Component (T : Entity_Id) return Boolean;
@@ -676,11 +676,11 @@ package Sem_Util is
-- are looked through.
function Effective_Reads_Enabled (Id : Entity_Id) return Boolean;
- -- Id should be the entity of a state abstraction, a variable, or a type.
+ -- Id should be the entity of a state abstraction, an object, or a type.
-- Returns True iff Id is subject to external property Effective_Reads.
function Effective_Writes_Enabled (Id : Entity_Id) return Boolean;
- -- Id should be the entity of a state abstraction, a variable, or a type.
+ -- Id should be the entity of a state abstraction, an object, or a type.
-- Returns True iff Id is subject to external property Effective_Writes.
function Enclosing_Comp_Unit_Node (N : Node_Id) return Node_Id;