Bug in tidy_fallthru_edges ?

[Alexandre Oliva]

On Jan 14, 2002, "Ulrich Weigand" <Ulrich.Weigand@de.ibm.com> wrote:

> What happens is that 'tidy_fallthru_edges' simply removes the
> 'fake_return' label, because it apparently considers the 'return 0'
> statement only reachable via fall-through from the main body,
> without taking into account that there is a named label,
> which is actually used somewhere ...

such labels must always be used locally within the same function.  The
compiler only adds edges from computed gotos to labels whose addresses
are taken.  If there are no computed gotos, there are no such edges.

-- 
Alexandre Oliva   Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
Red Hat GCC Developer                  aoliva@{cygnus.com, redhat.com}
CS PhD student at IC-Unicamp        oliva@{lsd.ic.unicamp.br, gnu.org}
Free Software Evangelist    *Please* write to mailing lists, not to me