From: Eric Botcazou Date: Mon, 16 Jul 2018 14:10:18 +0000 (+0000) Subject: [Ada] Einfo: minor tweak in comment X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3e752e1fc77a786fd144dac1dc4833af87c3efe7;p=gcc.git [Ada] Einfo: minor tweak in comment 2018-07-16 Eric Botcazou gcc/ada/ * einfo.ads: Minor tweak in comment. From-SVN: r262705 --- 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