[Bug tree-optimization/50847] New: missed diagnostics for dead code.

[Bug tree-optimization/50847] New: missed diagnostics for dead code.

[pluto at agmk dot net]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50847

             Bug #: 50847
           Summary: missed diagnostics for dead code.
    Classification: Unclassified
           Product: gcc
           Version: 4.6.2
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: pluto@agmk.net


int bar()
{
        throw 42;
        return 0; // dead code
}

void zoo( int& i )
{
        return throw -1;
        i = 7; // dead code
}

it would be nice to see some (new -Wunused-statement?) warnings for marked
lines.

[Bug tree-optimization/50847] missed diagnostics for dead code.

[pluto at agmk dot net]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50847

Pawel Sikora <pluto at agmk dot net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |lopezibanez at gmail dot
                   |                            |com

--- Comment #1 from Pawel Sikora <pluto at agmk dot net> 2012-05-12 11:35:07 UTC ---
Manuel, could you improve gcc diagnostics in this area?

[Bug tree-optimization/50847] missed diagnostics for dead code.

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50847

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-05-12 11:56:45 UTC ---
Related to PR46476?

[Bug tree-optimization/50847] missed warning about unreachable code after throw statment.

[pluto at agmk dot net]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50847

--- Comment #3 from Pawel Sikora <pluto at agmk dot net> 2012-05-12 12:07:06 UTC ---
(In reply to comment #2)
> Related to PR46476?

similar (return vs. throw statment).

[Bug tree-optimization/50847] missed warning about unreachable code after throw statment.

[manu at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50847

Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|lopezibanez at gmail dot    |manu at gcc dot gnu.org
                   |com                         |

--- Comment #4 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2012-05-12 12:31:14 UTC ---
(In reply to comment #1)
> Manuel, could you improve gcc diagnostics in this area?

Sorry but the little free time I have for GCC is going to be focused on
improving the options machinery and the caret diagnostics. I may try to push
for colors, if I find the time.

Unfortunately, we are very very few working on C/C++ FEs right now.

In this case, I am not even sure how this could be implemented in the FE
without  some kind of control-flow graph.

[Bug middle-end/50847] missed warning about unreachable code after throw statment.

[manu at gcc dot gnu.org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="UTF-8", Size: 3838 bytes --]

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

Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |diagnostic
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-10-11
          Component|tree-optimization           |middle-end
     Ever confirmed|0                           |1

--- Comment #5 from Manuel López-Ibáñez <manu at gcc dot gnu.org> ---
I don't think it is possible to fix this in the FE.
>From gcc-bugs-return-463834-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sat Oct 11 13:40:17 2014
Return-Path: <gcc-bugs-return-463834-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 6309 invoked by alias); 11 Oct 2014 13:40:16 -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 6290 invoked by uid 48); 11 Oct 2014 13:40:12 -0000
From: "mc5686 at mclink dot it" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/63511] New: "internal consistency failure" compiling gcc-2.9.1 (gcc/tree-sra.c)
Date: Sat, 11 Oct 2014 13:40:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 4.2.1
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: mc5686 at mclink dot it
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: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter attachments.created
Message-ID: <bug-63511-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-10/txt/msg00855.txt.bz2
Content-length: 1368

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

            Bug ID: 63511
           Summary: "internal consistency failure" compiling gcc-2.9.1
                    (gcc/tree-sra.c)
           Product: gcc
           Version: 4.2.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: mc5686 at mclink dot it

Created attachment 33689
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id3689&actioníit
Output of failing compilation (with -v -save-temps) and related files

I am trying to cross-compile latest GCC-4.9.1 to be run native on an arm board.
I am using the cross compiler from board manufacturer (Synology) on a Debian
GNU/Linux system.

I am using a script to compile so results are completely reproducible.

Cross-compiler is available at:
http://sourceforge.net/projects/dsgpl/files/DSM%204.2%20Tool%20Chains/Marvell%2088F628x%20Linux%202.6.32/gcc421_glibc25_88f6281-GPL.tgz/download
NOTE: this compiler has a cross-flex that confuses build, I had to remove it
from installation directory (/usr/local/arm-none-linux-gnueabi/bin)

I assume You know where to find the other referenced archives ;)

I will try to build a cross-gcc targeted to my board and then cross-compile a
native-gcc with that. I will post here results.