From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp-out2.suse.de (smtp-out2.suse.de [195.135.220.29]) by sourceware.org (Postfix) with ESMTPS id E92193858C27 for ; Thu, 11 Nov 2021 08:18:23 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org E92193858C27 Received: from relay2.suse.de (relay2.suse.de [149.44.160.134]) by smtp-out2.suse.de (Postfix) with ESMTP id BCF0E1FD4A; Thu, 11 Nov 2021 08:18:22 +0000 (UTC) Received: from murzim.suse.de (murzim.suse.de [10.160.4.192]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by relay2.suse.de (Postfix) with ESMTPS id 9F05AA3B83; Thu, 11 Nov 2021 08:18:22 +0000 (UTC) Date: Thu, 11 Nov 2021 09:18:22 +0100 (CET) From: Richard Biener To: Martin Sebor cc: gcc-patches@gcc.gnu.org Subject: Re: [PATCH] testsuite/102690 - XFAIL g++.dg/warn/Warray-bounds-16.C In-Reply-To: <73c2191f-5cc8-47d9-4167-63eb29b4d613@gmail.com> Message-ID: <34945810-r023-9q5s-q227-83oo4137sr47@fhfr.qr> References: <73c2191f-5cc8-47d9-4167-63eb29b4d613@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII X-Spam-Status: No, score=-11.1 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 11 Nov 2021 08:18:25 -0000 On Wed, 10 Nov 2021, Martin Sebor wrote: > On 11/10/21 3:09 AM, Richard Biener via Gcc-patches wrote: > > This XFAILs the bogus diagnostic test and rectifies the expectation > > on the optimization. > > > > Tested on x86_64-unknown-linux-gnu, pushed. > > > > 2021-11-10 Richard Biener > > > > PR testsuite/102690 > > * g++.dg/warn/Warray-bounds-16.C: XFAIL diagnostic part > > and optimization. > > --- > > gcc/testsuite/g++.dg/warn/Warray-bounds-16.C | 6 +++--- > > 1 file changed, 3 insertions(+), 3 deletions(-) > > > > diff --git a/gcc/testsuite/g++.dg/warn/Warray-bounds-16.C > > b/gcc/testsuite/g++.dg/warn/Warray-bounds-16.C > > index 17b4d0d194e..89cbadb91c7 100644 > > --- a/gcc/testsuite/g++.dg/warn/Warray-bounds-16.C > > +++ b/gcc/testsuite/g++.dg/warn/Warray-bounds-16.C > > @@ -19,11 +19,11 @@ struct S > > p = (int*) new unsigned char [sizeof (int) * m]; > > > > for (int i = 0; i < m; i++) > > - new (p + i) int (); > > + new (p + i) int (); /* { dg-bogus "bounds" "pr102690" { xfail *-*-* } > > } */ > > } > > }; > > > > S a (0); > > > > -/* Verify the loop has been eliminated. > > - { dg-final { scan-tree-dump-not "goto" "optimized" } } */ > > +/* The loop cannot be eliminated since the global 'new' can change 'm'. */ > > I don't understand this comment. Can you please explain how > the global operator new (i.e., the one outside the loop below) > can change the member of the class whose ctor calls the new? > > The member, or more precisely the enclosing object, doesn't > yet exist at the time the global new is called because its > ctor hasn't finished, so nothing outside the ctor can access > it. A pointer to the S under construction can be used (and > could be accessed by a replacement new) but it cannot be > dereferenced to access its members because the object it > points to doesn't exist until after the ctor completes. Yes, that's the C++ legalise - which is why I XFAILed that part of the test rather than just removed it. The middle-end sees the object *this as existing and being global, thus accessible and mutable by '::new' which when replaced by the user could access and alter *this. Like maybe for S s; void *operator new(..) { s.m = 0; } main() { new (&s) (1); } that may be invalid C++ but this detail of C++ is not reflected in the GIMPLE IL. Before the change that regressed this if S::S() would call a global function foo() instead of new to do the allocation the behavior would be as after the change. Isn't the call to new or foo part of the construction and as such obviously allowed to access and alter the in-construction object? > I copy the test below: > > inline void* operator new (__SIZE_TYPE__, void * v) > { > return v; > } > > struct S > { > int* p; > int m; > > S (int i) > { > m = i; > p = (int*) new unsigned char [sizeof (int) * m]; > > for (int i = 0; i < m; i++) > new (p + i) int (); /* { dg-bogus "bounds" "pr102690" { xfail *-*-* } } > */ > } > }; > > S a (0); > > Thanks > Martin > -- Richard Biener SUSE Software Solutions Germany GmbH, Maxfeldstrasse 5, 90409 Nuernberg, Germany; GF: Ivo Totev; HRB 36809 (AG Nuernberg)