public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug middle-end/61456] New: Unnecesary "may be used uninitialized" warning
@ 2014-06-09 18:36 tmsriram at google dot com
  2014-06-09 20:38 ` [Bug middle-end/61456] Bogus " pinskia at gcc dot gnu.org
                   ` (9 more replies)
  0 siblings, 10 replies; 11+ messages in thread
From: tmsriram at google dot com @ 2014-06-09 18:36 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61456

            Bug ID: 61456
           Summary: Unnecesary "may be used uninitialized" warning
           Product: gcc
           Version: 4.10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: tmsriram at google dot com

This test case:

problem.cc
==========


int rand ();

class Funcs
{
public:
    int *f1 ();
    int *f2 ();
};
typedef decltype (&Funcs::f1) pfunc;

static int Set (Funcs * f, const pfunc & fp)
{
    (f->*fp) ();
}

void
Foo ()
{
    pfunc fp = &Funcs::f1;
    if (rand ())
        fp = &Funcs::f2;
    Set (0, fp);
}

compiled with trunk compiler:
g++ ./problem.cc -O2 -std=c++0x -c -Werror=uninitialized
./problem.cc: In function ‘void Foo()’:
./problem.cc:13:15: error: ‘fp.int* (Funcs::* const)()::__delta’ is used
uninitialized in this function [-Werror=uninitialized]
     (f->*fp) ();
               ^
./problem.cc:19:11: note: ‘fp.int* (Funcs::* const)()::__delta’ was declared
here
     pfunc fp = &Funcs::f1


With -fdump-tree-all, the dce1 pass is deleting the statement:
fp.__delta = 0;

even though this is later used with the following gimple sequence:
  _22 = fp.__delta;
  _24 = (struct Funcs *) _22;
  iftmp.2_25 (_24);
>From gcc-bugs-return-453553-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Jun 09 18:48:53 2014
Return-Path: <gcc-bugs-return-453553-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 19276 invoked by alias); 9 Jun 2014 18:48:52 -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 19028 invoked by uid 48); 9 Jun 2014 18:48:48 -0000
From: "ppluzhnikov at google dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/61456] Bogus "may be used uninitialized" warning
Date: Mon, 09 Jun 2014 18:48:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 4.10.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ppluzhnikov at google dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: cc
Message-ID: <bug-61456-4-KW3wbVEKH6@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61456-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61456-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-06/txt/msg00635.txt.bz2
Content-length: 663

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61456

Paul Pluzhnikov <ppluzhnikov at google dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ppluzhnikov at google dot com

--- Comment #1 from Paul Pluzhnikov <ppluzhnikov at google dot com> ---
Google ref: b/15089262

> error: ‘fp.int* (Funcs::* const)()::__delta’ is used uninitialized ...

Note that there is no '__delta' in the original source, so the error message is
exceedingly confusing to the end user, in addition to being bogus.
>From gcc-bugs-return-453554-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Jun 09 19:14:50 2014
Return-Path: <gcc-bugs-return-453554-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 12755 invoked by alias); 9 Jun 2014 19:14:49 -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 12715 invoked by uid 48); 9 Jun 2014 19:14:44 -0000
From: "tejohnson at google dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/61456] Bogus "may be used uninitialized" warning
Date: Mon, 09 Jun 2014 19:14:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 4.10.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: tejohnson at google dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: cc
Message-ID: <bug-61456-4-lTGoE3U00E@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61456-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61456-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/msg00636.txt.bz2
Content-length: 1724

https://gcc.gnu.org/bugzilla/show_bug.cgi?ida456

Teresa Johnson <tejohnson at google dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tejohnson at google dot com

--- Comment #2 from Teresa Johnson <tejohnson at google dot com> ---
I have another small test case that manifests as a seg fault at runtime, but I
believe it is likely the same issue.

test.cc:

class MyClass {
 public:
  virtual void Method1() const {}

  virtual void Method2() const {}

  virtual ~MyClass() {}
};

int main(void) {
  MyClass *d = new MyClass;
  struct MethodStruct {
    void (MyClass::*method)() const;
  };

  const MethodStruct kTest[] = {
    {&MyClass::Method1},
    {&MyClass::Method2},
  };

  for (int i = 0; i < 2; ++i) {
    (d->*kTest[i].method)();
  }
  delete d;
}


Compiled with "g++ -O2 test.cc -std=gnu++11" it seg faults when trying to
invoke method in the for loop. If I make this change:

22c22,23
<     (d->*kTest[i].method)();
---
>     const auto ptmf = kTest[i].method;
>     (d->*ptmf)();

the test case passes.

I found that the following initializations of the function pointers in kTest
are being eliminated by cddce1, and if that is disabled, then they are
eliminated by dce1:

  [test.cc : 19:3] # .MEM_12 = VDEF <.MEM_10>
  kTestD.2288[0].methodD.2287.__pfnD.2284 = 1B;
  [test.cc : 19:3] # .MEM_13 = VDEF <.MEM_12>
  kTestD.2288[0].methodD.2287.__deltaD.2285 = 0;
  [test.cc : 19:3] # .MEM_14 = VDEF <.MEM_13>
  kTestD.2288[1].methodD.2287.__pfnD.2284 = 9B;
  [test.cc : 19:3] # .MEM_15 = VDEF <.MEM_14>
  kTestD.2288[1].methodD.2287.__deltaD.2285 = 0;


^ 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 ` 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

end of thread, other threads:[~2014-06-11  9:33 UTC | newest]

Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
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
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
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

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).