This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] Computed gotos
- From: law at redhat dot com
- To: Richard Henderson <rth at redhat dot com>
- Cc: Paul Brook <paul at nowt dot org>, "gcc at gcc dot gnu dot org" <gcc at gcc dot gnu dot org>
- Date: Mon, 16 Jun 2003 09:00:29 -0600
- Subject: Re: [tree-ssa] Computed gotos
- Reply-to: law at redhat dot com
In message <20030616012405.GB5394@redhat.com>, Richard Henderson writes:
>On Sun, Jun 15, 2003 at 05:59:45PM +0100, Paul Brook wrote:
>> A few questions:
>> Is void* the correct type for the address of a label?
>
>Yes.
>
>> I know some archetectures (ia64) have different types for function pointers
>.
>> Is the same true for labels local to a function?
>
>No. In all extant cases, the wider function pointers also
>carry a "data pointer" for pic stuff. Such a data pointer
>would not change within a function.
>
>> How do I annotate the labels to mark them as the destination of a computed
>> goto statement?
>
>Apparently you set FORCED_LABEL.
Or more correctly, it should be set during the gimplification process.
If the gimplifier isn't automatically setting FORCED_LABEL for the
labels in question, then we'd likely consider that a bug.
jeff