[tree-ssa] Computed gotos

[law@redhat.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