This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] Computed gotos
- From: Richard Henderson <rth at redhat dot com>
- To: Paul Brook <paul at nowt dot org>
- Cc: "gcc at gcc dot gnu dot org" <gcc at gcc dot gnu dot org>
- Date: Sun, 15 Jun 2003 18:24:05 -0700
- Subject: Re: [tree-ssa] Computed gotos
- References: <200306151759.45301.paul@nowt.org>
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.
> Is this kind of thing ever likely to work reliably and efficiently?
Yes. Otherwise we'd have a regression from mainline.
r~