* [Bug middle-end/61456] Bogus "may be used uninitialized" warning
2014-06-09 18:36 [Bug middle-end/61456] New: Unnecesary "may be used uninitialized" warning tmsriram at google dot com
@ 2014-06-09 20:38 ` pinskia at gcc dot gnu.org
2014-06-10 9:50 ` rguenth at gcc dot gnu.org
` (8 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: pinskia at gcc dot gnu.org @ 2014-06-09 20:38 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61456
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
There is some aliasing issue going on here.
FRE (correctly) removes:
# .MEM_7 = VDEF <.MEM_8>
MEM[(struct *)&fp + 8B] = 0;
So it was being done by:
# .MEM_4 = VDEF <.MEM_3>
fp.__delta = 0;
Already.
Somehow DCE1 decides that is fully dead.
>Note that there is no '__delta' in the original source, so the error message
Well that is partly the front-end issue as it is pointer to member functions
are implemented using a struct.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug middle-end/61456] Bogus "may be used uninitialized" warning
2014-06-09 18:36 [Bug middle-end/61456] New: Unnecesary "may be used uninitialized" warning tmsriram at google dot com
2014-06-09 20:38 ` [Bug middle-end/61456] Bogus " pinskia at gcc dot gnu.org
@ 2014-06-10 9:50 ` rguenth at gcc dot gnu.org
2014-06-10 9:58 ` manu at gcc dot gnu.org
` (7 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-06-10 9:50 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61456
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |wrong-code
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Hmm.
This is running into nonoverlapping_component_refs_of_decl_p which has
(gdb) p field1
$32 = <field_decl 0x7ffff6d7f8e8 __delta>
(gdb) p field2
$33 = <field_decl 0x7ffff6d7f720 __delta>
but they are clearly on the same offset and have the same size. They
are members of different types (but same TYPE_MAIN_VARIANT) and appearantly
the TYPE_FIELDs of the variants are not shared.
So appearantly it is not safe to drop to TYPE_MAIN_VARIANT here (and in
nonoverlapping_component_refs_p). But it's also not necessary - if the
TYPE_FILEDs are shared then the DECL_FIELD_CONTEXT of course points to the
same type already.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug middle-end/61456] Bogus "may be used uninitialized" warning
2014-06-09 18:36 [Bug middle-end/61456] New: Unnecesary "may be used uninitialized" warning tmsriram at google dot com
2014-06-09 20:38 ` [Bug middle-end/61456] Bogus " pinskia at gcc dot gnu.org
2014-06-10 9:50 ` rguenth at gcc dot gnu.org
@ 2014-06-10 9:58 ` manu at gcc dot gnu.org
2014-06-10 9:59 ` [Bug middle-end/61456] [4.9/4.10 Regression] " rguenth at gcc dot gnu.org
` (6 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: manu at gcc dot gnu.org @ 2014-06-10 9:58 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61456
--- Comment #6 from Manuel López-Ibáñez <manu at gcc dot gnu.org> ---
And this is a regression. We did not warn with r197260.
>From gcc-bugs-return-453598-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Jun 10 09:58:57 2014
Return-Path: <gcc-bugs-return-453598-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 24172 invoked by alias); 10 Jun 2014 09:58:57 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 24146 invoked by uid 48); 10 Jun 2014 09:58:54 -0000
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/61452] [4.8/4.9/4.10 Regression] hang at -O1 and -Os on x86_64-linux-gnu
Date: Tue, 10 Jun 2014 09:58:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 4.10.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenth at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.8.4
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status cf_reconfirmed_on cf_known_to_work assigned_to target_milestone short_desc everconfirmed
Message-ID: <bug-61452-4-1tsyLI522L@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61452-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61452-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-06/txt/msg00680.txt.bz2
Content-length: 912
https://gcc.gnu.org/bugzilla/show_bug.cgi?ida452
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed| |2014-06-10
Known to work| |4.7.4
Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org
Target Milestone|--- |4.8.4
Summary|hang at -O1 and -Os on |[4.8/4.9/4.10 Regression]
|x86_64-linux-gnu |hang at -O1 and -Os on
| |x86_64-linux-gnu
Ever confirmed|0 |1
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed (value-numbering).
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug middle-end/61456] [4.9/4.10 Regression] Bogus "may be used uninitialized" warning
2014-06-09 18:36 [Bug middle-end/61456] New: Unnecesary "may be used uninitialized" warning tmsriram at google dot com
` (2 preceding siblings ...)
2014-06-10 9:58 ` manu at gcc dot gnu.org
@ 2014-06-10 9:59 ` rguenth at gcc dot gnu.org
2014-06-10 14:11 ` rguenth at gcc dot gnu.org
` (5 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-06-10 9:59 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61456
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to work| |4.8.3
Target Milestone|--- |4.9.1
Summary|Bogus "may be used |[4.9/4.10 Regression] Bogus
|uninitialized" warning |"may be used uninitialized"
| |warning
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug middle-end/61456] [4.9/4.10 Regression] Bogus "may be used uninitialized" warning
2014-06-09 18:36 [Bug middle-end/61456] New: Unnecesary "may be used uninitialized" warning tmsriram at google dot com
` (3 preceding siblings ...)
2014-06-10 9:59 ` [Bug middle-end/61456] [4.9/4.10 Regression] " rguenth at gcc dot gnu.org
@ 2014-06-10 14:11 ` rguenth at gcc dot gnu.org
2014-06-10 14:15 ` tejohnson at google dot com
` (4 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-06-10 14:11 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61456
--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Tue Jun 10 14:10:57 2014
New Revision: 211411
URL: http://gcc.gnu.org/viewcvs?rev=211411&root=gcc&view=rev
Log:
2014-06-10 Richard Biener <rguenther@suse.de>
PR middle-end/61456
* tree-ssa-alias.c (nonoverlapping_component_refs_of_decl_p):
Do not use the main variant for the type comparison.
(ncr_compar): Likewise.
(nonoverlapping_component_refs_p): Likewise.
* g++.dg/opt/pr61456.C: New testcase.
Added:
trunk/gcc/testsuite/g++.dg/opt/pr61456.C
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-alias.c
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug middle-end/61456] [4.9/4.10 Regression] Bogus "may be used uninitialized" warning
2014-06-09 18:36 [Bug middle-end/61456] New: Unnecesary "may be used uninitialized" warning tmsriram at google dot com
` (4 preceding siblings ...)
2014-06-10 14:11 ` rguenth at gcc dot gnu.org
@ 2014-06-10 14:15 ` tejohnson at google dot com
2014-06-10 14:38 ` rguenth at gcc dot gnu.org
` (3 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: tejohnson at google dot com @ 2014-06-10 14:15 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61456
--- Comment #8 from Teresa Johnson <tejohnson at google dot com> ---
Thanks for the quick fix. Do you know if this fixed the issue I
reported in comment #2 (seg fault in a similar test case)?
Teresa
On Tue, Jun 10, 2014 at 7:11 AM, rguenth at gcc dot gnu.org
<gcc-bugzilla@gcc.gnu.org> wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61456
>
> --- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
> Author: rguenth
> Date: Tue Jun 10 14:10:57 2014
> New Revision: 211411
>
> URL: http://gcc.gnu.org/viewcvs?rev=211411&root=gcc&view=rev
> Log:
> 2014-06-10 Richard Biener <rguenther@suse.de>
>
> PR middle-end/61456
> * tree-ssa-alias.c (nonoverlapping_component_refs_of_decl_p):
> Do not use the main variant for the type comparison.
> (ncr_compar): Likewise.
> (nonoverlapping_component_refs_p): Likewise.
>
> * g++.dg/opt/pr61456.C: New testcase.
>
> Added:
> trunk/gcc/testsuite/g++.dg/opt/pr61456.C
> Modified:
> trunk/gcc/ChangeLog
> trunk/gcc/testsuite/ChangeLog
> trunk/gcc/tree-ssa-alias.c
>
> --
> You are receiving this mail because:
> You are on the CC list for the bug.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug middle-end/61456] [4.9/4.10 Regression] Bogus "may be used uninitialized" warning
2014-06-09 18:36 [Bug middle-end/61456] New: Unnecesary "may be used uninitialized" warning tmsriram at google dot com
` (5 preceding siblings ...)
2014-06-10 14:15 ` tejohnson at google dot com
@ 2014-06-10 14:38 ` rguenth at gcc dot gnu.org
2014-06-10 15:08 ` [Bug middle-end/61456] [4.9 " tejohnson at google dot com
` (2 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-06-10 14:38 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61456
--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Teresa Johnson from comment #8)
> Thanks for the quick fix. Do you know if this fixed the issue I
> reported in comment #2 (seg fault in a similar test case)?
I didn't check but I guess so.
> Teresa
>
> On Tue, Jun 10, 2014 at 7:11 AM, rguenth at gcc dot gnu.org
> <gcc-bugzilla@gcc.gnu.org> wrote:
> > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61456
> >
> > --- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
> > Author: rguenth
> > Date: Tue Jun 10 14:10:57 2014
> > New Revision: 211411
> >
> > URL: http://gcc.gnu.org/viewcvs?rev=211411&root=gcc&view=rev
> > Log:
> > 2014-06-10 Richard Biener <rguenther@suse.de>
> >
> > PR middle-end/61456
> > * tree-ssa-alias.c (nonoverlapping_component_refs_of_decl_p):
> > Do not use the main variant for the type comparison.
> > (ncr_compar): Likewise.
> > (nonoverlapping_component_refs_p): Likewise.
> >
> > * g++.dg/opt/pr61456.C: New testcase.
> >
> > Added:
> > trunk/gcc/testsuite/g++.dg/opt/pr61456.C
> > Modified:
> > trunk/gcc/ChangeLog
> > trunk/gcc/testsuite/ChangeLog
> > trunk/gcc/tree-ssa-alias.c
> >
> > --
> > You are receiving this mail because:
> > You are on the CC list for the bug.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug middle-end/61456] [4.9 Regression] Bogus "may be used uninitialized" warning
2014-06-09 18:36 [Bug middle-end/61456] New: Unnecesary "may be used uninitialized" warning tmsriram at google dot com
` (6 preceding siblings ...)
2014-06-10 14:38 ` rguenth at gcc dot gnu.org
@ 2014-06-10 15:08 ` tejohnson at google dot com
2014-06-11 9:29 ` rguenth at gcc dot gnu.org
2014-06-11 9:33 ` rguenth at gcc dot gnu.org
9 siblings, 0 replies; 11+ messages in thread
From: tejohnson at google dot com @ 2014-06-10 15:08 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61456
--- Comment #10 from Teresa Johnson <tejohnson at google dot com> ---
On Tue, Jun 10, 2014 at 7:38 AM, rguenth at gcc dot gnu.org
<gcc-bugzilla@gcc.gnu.org> wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61456
>
> --- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
> (In reply to Teresa Johnson from comment #8)
>> Thanks for the quick fix. Do you know if this fixed the issue I
>> reported in comment #2 (seg fault in a similar test case)?
>
> I didn't check but I guess so.
I just rebuilt with r211411 and confirmed that it fixes that issue as well.
Thanks,
Teresa
>
>> Teresa
>>
>> On Tue, Jun 10, 2014 at 7:11 AM, rguenth at gcc dot gnu.org
>> <gcc-bugzilla@gcc.gnu.org> wrote:
>> > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61456
>> >
>> > --- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
>> > Author: rguenth
>> > Date: Tue Jun 10 14:10:57 2014
>> > New Revision: 211411
>> >
>> > URL: http://gcc.gnu.org/viewcvs?rev=211411&root=gcc&view=rev
>> > Log:
>> > 2014-06-10 Richard Biener <rguenther@suse.de>
>> >
>> > PR middle-end/61456
>> > * tree-ssa-alias.c (nonoverlapping_component_refs_of_decl_p):
>> > Do not use the main variant for the type comparison.
>> > (ncr_compar): Likewise.
>> > (nonoverlapping_component_refs_p): Likewise.
>> >
>> > * g++.dg/opt/pr61456.C: New testcase.
>> >
>> > Added:
>> > trunk/gcc/testsuite/g++.dg/opt/pr61456.C
>> > Modified:
>> > trunk/gcc/ChangeLog
>> > trunk/gcc/testsuite/ChangeLog
>> > trunk/gcc/tree-ssa-alias.c
>> >
>> > --
>> > You are receiving this mail because:
>> > You are on the CC list for the bug.
>
> --
> You are receiving this mail because:
> You are on the CC list for the bug.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug middle-end/61456] [4.9 Regression] Bogus "may be used uninitialized" warning
2014-06-09 18:36 [Bug middle-end/61456] New: Unnecesary "may be used uninitialized" warning tmsriram at google dot com
` (7 preceding siblings ...)
2014-06-10 15:08 ` [Bug middle-end/61456] [4.9 " tejohnson at google dot com
@ 2014-06-11 9:29 ` rguenth at gcc dot gnu.org
2014-06-11 9:33 ` rguenth at gcc dot gnu.org
9 siblings, 0 replies; 11+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-06-11 9:29 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61456
--- Comment #11 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Wed Jun 11 09:29:11 2014
New Revision: 211442
URL: http://gcc.gnu.org/viewcvs?rev=211442&root=gcc&view=rev
Log:
2014-06-11 Richard Biener <rguenther@suse.de>
PR middle-end/61456
* tree-ssa-alias.c (nonoverlapping_component_refs_of_decl_p):
Do not use the main variant for the type comparison.
* g++.dg/opt/pr61456.C: New testcase.
Added:
branches/gcc-4_9-branch/gcc/testsuite/g++.dg/opt/pr61456.C
Modified:
branches/gcc-4_9-branch/gcc/ChangeLog
branches/gcc-4_9-branch/gcc/testsuite/ChangeLog
branches/gcc-4_9-branch/gcc/tree-ssa-alias.c
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug middle-end/61456] [4.9 Regression] Bogus "may be used uninitialized" warning
2014-06-09 18:36 [Bug middle-end/61456] New: Unnecesary "may be used uninitialized" warning tmsriram at google dot com
` (8 preceding siblings ...)
2014-06-11 9:29 ` rguenth at gcc dot gnu.org
@ 2014-06-11 9:33 ` rguenth at gcc dot gnu.org
9 siblings, 0 replies; 11+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-06-11 9:33 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61456
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
--- Comment #12 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.
^ permalink raw reply [flat|nested] 11+ messages in thread