Re: optimization/5720: useless jump to call of nonreturning function

Re: optimization/5720: useless jump to call of nonreturning function

[bangerth]

Synopsis: useless jump to call of nonreturning function

State-Changed-From-To: open->feedback
State-Changed-By: bangerth
State-Changed-When: Sat Mar 15 04:44:50 2003
State-Changed-Why:
    If I preprocess the source code, it doesn't even have the
    doint() function any more that you describe in the
    message. Can you please provide _preprocessed_ sources
    so that we can reproduce the problem? Please review
      http://gcc.gnu.org/bugs.html
    for this, if you are unsure how to generate them
    
    Thanks
      Wolfgang

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=5720

Re: optimization/5720: useless jump to call of nonreturning function

[doko]

Synopsis: useless jump to call of nonreturning function

State-Changed-From-To: feedback->open
State-Changed-By: doko
State-Changed-When: Mon May 27 14:42:56 2002
State-Changed-Why:
    file attached

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=5720

Re: optimization/5720: useless jump to call of nonreturning function

[rth]

Synopsis: useless jump to call of nonreturning function

State-Changed-From-To: open->feedback
State-Changed-By: rth
State-Changed-When: Wed Apr  3 02:21:39 2002
State-Changed-Why:
    No attachment.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=5720

optimization/5720: useless jump to call of nonreturning function

[pb]

>Number:         5720
>Category:       optimization
>Synopsis:       useless jump to call of nonreturning function
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          pessimizes-code
>Submitter-Id:   net
>Arrival-Date:   Mon Feb 18 07:46:01 PST 2002
>Closed-Date:
>Last-Modified:
>Originator:     Debian report #106866, submitted by <herbert@gondor.apana.org.au>
>Release:        3.0.3
>Organization:
>Environment:
i686-linux
>Description:
Compile the attached file with -O2.

The generated assembler includes:

        movl    intpending, %eax
        testl   %eax, %eax
        je      .L6
        jmp     .L11
        .p2align 2
.L9:
        orl     $1, %esi
        testl   %ebx, %ebx
[...]
.L11:
        call    doint

The "doint" function is marked with attribute((noreturn)) and there are no other branches to .L11.  The extra "jmp .L11" brings no benefit - the "call doint" could be put directly in its place.
>How-To-Repeat:

>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: