This is the mail archive of the
mailing list for the GCC project.
Re: [RFC] tree-cfg.c: Check that a nonlocal label doesn't appear in the middle of a basic block.
- From: Andrew Pinski <pinskia at physics dot uc dot edu>
- To: Andrew Pinski <pinskia at physics dot uc dot edu>
- Cc: dnovillo at redhat dot com, gcc-patches at gcc dot gnu dot org, dvorakz at suse dot cz, Kazu Hirata <kazu at cs dot umass dot edu>
- Date: Wed, 19 Jan 2005 02:01:29 -0500
- Subject: Re: [RFC] tree-cfg.c: Check that a nonlocal label doesn't appear in the middle of a basic block.
- References: <email@example.com> <4FB76DED-69D7-11D9-B9CA-000A95D692F4@physics.uc.edu>
On Jan 19, 2005, at 12:02 AM, Andrew Pinski wrote:
On Jan 19, 2005, at 12:00 AM, Kazu Hirata wrote:
Attached is a patch to check that a nonlocal label doesn't appear in
the middle of a basic block.
Note that we don't consider a nonlocal label to be appearing in the
middle of a basic block if all the statements before the label are
also nonlocal labels.
This patch is based on the thread starting at
Unfortunately, this patch introduces the following regressions (or
rather catches the following errors that went undetected previously).
I already know what is causing them, I will look into this problem
I caused them.
What is happen is that we now have two labels that are computed goto
but only referenced as for just getting the address and not actually
otherwise. It might be reasonable to split the BB but that takes up
than just allowing this special case since we know that non local gotos
computed goto would have an abnormal edge to them and not be moved