c/5729: not dead code elimintation problem

c/5729: not dead code elimintation problem

[jeanphilippe.fassino]

>Number:         5729
>Category:       c
>Synopsis:       not dead code elimintation problem
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          support
>Submitter-Id:   net
>Arrival-Date:   Tue Feb 19 08:16:04 PST 2002
>Closed-Date:
>Last-Modified:
>Originator:     jeanphilippe.fassino@rd.francetelecom.com
>Release:        gcc version 3.0.4 20020209 (Debian prerelease)
>Organization:
>Environment:
Linux PowerPC
>Description:
This code:

static void* table __attribute__ ((section ("bar")));
void* foo(void) {
  table = &&catch;
  return 0;
 catch:
  return 1;
}

is not well generated by gcc which suppress dead code, which 
is not dead code because reference on it has been create
and could be used elsewhere (during exception for example).
Is there are a solution to solve this or does it is 
a gcc problem ???

Thank
>How-To-Repeat:

>Fix:

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

Re: c/5729: not dead code elimintation problem

[rth]

Synopsis: not dead code elimintation problem

State-Changed-From-To: open->closed
State-Changed-By: rth
State-Changed-When: Tue Apr 23 02:21:51 2002
State-Changed-Why:
    Not a bug.  You may not branch to a label from outside the
    function in which the label appears.  See http://gcc.gnu.org/onlinedocs/gcc-3.0/gcc_5.html#SEC69

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