public inbox for gcc-cvs@sourceware.org help / color / mirror / Atom feed
From: Marc Poulhi?s <dkm@gcc.gnu.org> To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-3683] ada: Fix for validity checks combined with aliasing checks Date: Fri, 4 Nov 2022 13:55:44 +0000 (GMT) [thread overview] Message-ID: <20221104135544.A2007385742C@sourceware.org> (raw) https://gcc.gnu.org/g:5f182787179e2503c01875759d0460d0f2936c8b commit r13-3683-g5f182787179e2503c01875759d0460d0f2936c8b Author: Justin Squirek <squirek@adacore.com> Date: Wed Oct 12 11:53:04 2022 +0200 ada: Fix for validity checks combined with aliasing checks Attribute Overlaps_Storage, which can appear implicitly in expansion of aliasing checks, is now excluded from operand validity checks. Likewise for attribute Has_Same_Storage. gcc/ada/ * exp_attr.adb (Expand_N_Attribute_Reference): Skip operand validity checks for attributes Has_Same_Storage and Overlaps_Storage. Diff: --- gcc/ada/exp_attr.adb | 16 +++++++++++----- 1 file changed, 11 insertions(+), 5 deletions(-) diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb index 3c3f725cf27..1ef30656496 100644 --- a/gcc/ada/exp_attr.adb +++ b/gcc/ada/exp_attr.adb @@ -1998,16 +1998,22 @@ package body Exp_Attr is -- Start of processing for Expand_N_Attribute_Reference begin - -- Do required validity checking, if enabled. Do not apply check to - -- output parameters of an Asm instruction, since the value of this - -- is not set till after the attribute has been elaborated, and do - -- not apply the check to the arguments of a 'Read or 'Input attribute - -- reference since the scalar argument is an OUT scalar. + -- Do required validity checking, if enabled. + -- + -- Skip check for output parameters of an Asm instruction (since their + -- valuesare not set till after the attribute has been elaborated), + -- for the arguments of a 'Read or 'Input attribute reference (since + -- the scalar argument is an OUT scalar) and for the arguments of a + -- 'Has_Same_Storage or 'Overlaps_Storage attribute reference (which not + -- considered to be reads of their prefixes and expressions, see Ada RM + -- 13.3(73.10/3)). if Validity_Checks_On and then Validity_Check_Operands and then Id /= Attribute_Asm_Output and then Id /= Attribute_Read and then Id /= Attribute_Input + and then Id /= Attribute_Has_Same_Storage + and then Id /= Attribute_Overlaps_Storage then declare Expr : Node_Id;
reply other threads:[~2022-11-04 13:55 UTC|newest] Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20221104135544.A2007385742C@sourceware.org \ --to=dkm@gcc.gnu.org \ --cc=gcc-cvs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).