From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 123186 invoked by alias); 19 Mar 2015 15:54:00 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 123069 invoked by uid 48); 19 Mar 2015 15:53:53 -0000 From: "manu at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug middle-end/65472] -Wunreachable-code failure Date: Thu, 19 Mar 2015 16:13: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.9.2 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: manu at gcc dot gnu.org X-Bugzilla-Status: RESOLVED 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 resolution Message-ID: In-Reply-To: References: 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: 2015-03/txt/msg01984.txt.bz2 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D65472 Manuel L=C3=B3pez-Ib=C3=A1=C3=B1ez changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |manu at gcc dot gnu.org Resolution|FIXED |DUPLICATE --- Comment #5 from Manuel L=C3=B3pez-Ib=C3=A1=C3=B1ez --- (In reply to Ulya from comment #4) > So GCC's intended behavior is not to warn about unreachable code? No, but the previous implementation of Wunreachable-code was very broken and nobody knew how to fix it, thus it was eventually removed. Since then (years ago!), nobody has offered a new implementation, which perhaps shows that th= ere is actually little interest in this warning in practice. In the past, we got more reports about Wunreachable-code bogus warnings than about missed ones. Unfortunately, there are very few GCC developers working on the C/C++ FEs r= ight now and they are very busy with other more urgent things, like structural w= ork and updating to new standards. In addition, implementing this properly in t= he FE would need some kind of control-flow graph, which GCC only has in the middle-end. BTW, I don't think it is useful to close these reports as INVALID, since th= ey are in essence requests for a new implementation of -Wunreachable-code. On = the other hand, it is not useful to have a PR for each possible testcase, since= as far as we know, there is no one even planning to work on this, unfortunatel= y. *** This bug has been marked as a duplicate of bug 46476 *** >>From gcc-bugs-return-480841-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Mar 19 15:54:02 2015 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 123370 invoked by alias); 19 Mar 2015 15:54:01 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 123107 invoked by uid 48); 19 Mar 2015 15:53:54 -0000 From: "manu at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug c++/46476] Missing Warning about unreachable code after return Date: Thu, 19 Mar 2015 16:13:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c++ X-Bugzilla-Version: 4.6.0 X-Bugzilla-Keywords: diagnostic X-Bugzilla-Severity: enhancement X-Bugzilla-Who: manu at gcc dot gnu.org X-Bugzilla-Status: NEW 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: In-Reply-To: References: 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: 2015-03/txt/msg01985.txt.bz2 Content-length: 482 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D46476 Manuel L=C3=B3pez-Ib=C3=A1=C3=B1ez changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |skvadrik at gmail dot com --- Comment #5 from Manuel L=C3=B3pez-Ib=C3=A1=C3=B1ez --- *** Bug 65472 has been marked as a duplicate of this bug. *** >>From gcc-bugs-return-480842-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Mar 19 15:58:43 2015 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 1161 invoked by alias); 19 Mar 2015 15:58:43 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 1089 invoked by uid 48); 19 Mar 2015 15:58:36 -0000 From: "skvadrik at gmail dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug middle-end/65472] -Wunreachable-code failure Date: Thu, 19 Mar 2015 16:46: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.9.2 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: skvadrik at gmail dot com X-Bugzilla-Status: RESOLVED 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: resolution Message-ID: In-Reply-To: References: 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: 2015-03/txt/msg01986.txt.bz2 Content-length: 451 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D65472 Ulya changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|DUPLICATE |FIXED --- Comment #6 from Ulya --- (In reply to Manuel L=C3=B3pez-Ib=C3=A1=C3=B1ez from comment #5) I see. Thank you for a detailed answer. :) >>From gcc-bugs-return-480843-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Mar 19 16:03:24 2015 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 8554 invoked by alias); 19 Mar 2015 16:03:24 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 8437 invoked by uid 48); 19 Mar 2015 16:03:15 -0000 From: "jakub at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug ipa/65465] [5 Regression] Internal compiler error: in build2_stIat Date: Thu, 19 Mar 2015 16:59:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: ipa X-Bugzilla-Version: 5.0 X-Bugzilla-Keywords: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: jakub at gcc dot gnu.org X-Bugzilla-Status: NEW X-Bugzilla-Priority: P1 X-Bugzilla-Assigned-To: marxin at gcc dot gnu.org X-Bugzilla-Target-Milestone: 5.0 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: 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: 2015-03/txt/msg01987.txt.bz2 Content-length: 375 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65465 --- Comment #5 from Jakub Jelinek --- Reduced testcase: struct A {}; struct B { virtual A foo () const; }; struct C { A foo () const; }; struct D : virtual B { A foo () const {} }; struct F : D { virtual int bar () const; }; int F::bar () const { return 0; } A C::foo () const { return A (); }