From 3e752e1fc77a786fd144dac1dc4833af87c3efe7 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Mon, 16 Jul 2018 14:10:18 +0000 Subject: [PATCH] [Ada] Einfo: minor tweak in comment 2018-07-16 Eric Botcazou gcc/ada/ * einfo.ads: Minor tweak in comment. From-SVN: r262705 --- gcc/ada/ChangeLog | 4 ++++ gcc/ada/einfo.ads | 4 ++-- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index f692dd8724f..98314567ea8 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2018-07-16 Eric Botcazou + + * einfo.ads: Minor tweak in comment. + 2018-07-16 Javier Miranda * sem_ch4.adb (Analyze_Membership_Op): Code cleanup. diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 79fd1c23843..2ed8e10c0ae 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -3139,8 +3139,8 @@ package Einfo is -- flag may be set for any other functions or procedures that are known -- to be side effect free, so in the case of subprograms, the Is_Pure -- flag may be used by the optimizer to imply that it can assume freedom --- from side effects (other than those resulting from assignment to out --- parameters, or to objects designated by access parameters). +-- from side effects (other than those resulting from assignment to Out +-- or In Out parameters, or to objects designated by access parameters). -- Is_Pure_Unit_Access_Type (Flag189) -- Defined in access type and subtype entities. Set if the type or -- 2.30.2