[tree-ssa] Computed gotos

[Richard Henderson]

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~