------- Comment #15 from tobi at gcc dot gnu dot org  2006-01-09 16:50 -------
Forgot to say: the validity check would then look like:

for (b = code->block: b != NULL; b = b->enclosing_block)
  if (b == label->block)
     /* valid GOTO */


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18540


Reply via email to