From: Jeff Law <law@redhat.com>
To: Jakub Jelinek <jakub@redhat.com>, Richard Biener <rguenther@suse.de>
Cc: JiangNing OS <jiangning@os.amperecomputing.com>,
Martin Sebor <msebor@gmail.com>,
"gcc-patches@gcc.gnu.org" <gcc-patches@gcc.gnu.org>
Subject: Re: [PATCH] PR91195: fix -Wmaybe-uninitialized warning for conditional store optimization
Date: Wed, 20 Nov 2019 02:33:00 -0000 [thread overview]
Message-ID: <463f1b21-1347-718d-477f-e4db4759f61d@redhat.com> (raw)
In-Reply-To: <20191120000331.GT4650@tucnak>
On 11/19/19 5:03 PM, Jakub Jelinek wrote:
> On Tue, Sep 03, 2019 at 02:27:29PM -0600, Jeff Law wrote:
>>>> + /* The transformation below will inherently introduce a memory load,
>>>> + for which LHS may not be initialized yet if it is not in NOTRAP,
>>>> + so a -Wmaybe-uninitialized warning message could be triggered.
>>>> + Since it's a bit hard to have a very accurate uninitialization
>>>> + analysis to memory reference, we disable the warning here to avoid
>>>> + confusion. */
>>>> + TREE_NO_WARNING (lhs) = 1;
>>>
>>> I don't like this, but not for the reasons Martin stated, we use
>>> TREE_NO_WARNING not just when we've emitted warnings, but in many places
>>> when we've done something that might trigger false positives.
>>> Yes, it would be nice to do it more selectively.
>>>
>>> The problem I see with the above though is that lhs might very well be
>>> a decl, and setting TREE_NO_WARNING on it then doesn't affect only the
>>> hoisted load, but also all other code that refers to the decl.
>> LHS is restricted to just MEM_REF, ARRAY_REF and COMPONENT_REF. We'd be
>> setting the NO_WARNING bits on the toplevel expression, but not on
>> anything shared like a _DECL node.
>>
>> So what we're losing here would be things like out of bounds array
>> checks on the LHS, so it still sucks.
>
> Sorry for dropping the ball on this.
> You're right, LHS is a MEM_REF, ARRAY_REF or COMPONENT_REF, so what I was
> worried about doesn't happen.
> I've tried using gimple_set_no_warning, but tree-ssa-uninit.c in this case
> actually doesn't look at that (it does only in a different spot).
>
>>> If the TREE_NO_WARNING bit is set on something that isn't shareable, that is
>>> fine with me, like a MEM_REF, TARGET_MEM_REF or handled component. If lhs
>>> is a decl, can we force a MEM_REF around it (and won't we fold it back to
>>> the decl?)? Or perhaps better, can we gimple_set_no_warning on the load
>>> stmt instead?
>> We have the toplevel statement, so that might be worth a try as well.
>
> But, what the patch did was set it on the tree that is later unshared,
> which means TREE_NO_WARNING wasn't set just on the rhs1 of the load, but
> also on the lhs of the store.
>
> The following version fixes that and I've also added the testcase to the
> testsuite.
> Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?
>
> 2019-11-19 Jiangning Liu <jiangning.liu@amperecomputing.com>
> Jakub Jelinek <jakub@redhat.com>
>
> PR middle-end/91195
> * tree-ssa-phiopt.c (cond_store_replacement): Move lhs unsharing
> earlier. Set TREE_NO_WARNING on the rhs1 of the artificially added
> load.
>
> * gcc.dg/pr91195.c: New test.
OK
jeff
prev parent reply other threads:[~2019-11-20 2:27 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-07-23 5:52 JiangNing OS
2019-07-23 16:31 ` Martin Sebor
2019-07-24 15:28 ` Jeff Law
2019-07-24 17:00 ` Martin Sebor
2019-07-24 17:23 ` Jeff Law
2019-07-24 18:09 ` Martin Sebor
2019-07-25 6:27 ` JiangNing OS
2019-07-25 19:09 ` Martin Sebor
2019-07-26 5:07 ` Jeff Law
2019-07-29 16:10 ` Jakub Jelinek
2019-07-30 8:35 ` Richard Biener
2019-07-30 8:36 ` Jakub Jelinek
2019-07-30 8:49 ` Richard Biener
2019-07-30 14:51 ` Martin Sebor
2019-08-07 22:17 ` Jeff Law
2019-09-03 20:22 ` Jeff Law
2019-07-24 16:00 ` Jeff Law
2019-07-29 16:03 ` Jakub Jelinek
2019-09-03 20:27 ` Jeff Law
2019-11-20 0:14 ` Jakub Jelinek
2019-11-20 2:33 ` Jeff Law [this message]
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=463f1b21-1347-718d-477f-e4db4759f61d@redhat.com \
--to=law@redhat.com \
--cc=gcc-patches@gcc.gnu.org \
--cc=jakub@redhat.com \
--cc=jiangning@os.amperecomputing.com \
--cc=msebor@gmail.com \
--cc=rguenther@suse.de \
/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: link
Be 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).