I'm sure the issue of labels at the end of blocks has come up before, and I was going to comment tomorrow when I've had a chance to look at the ANCI C def.
This archive was generated by hypermail 2.1.3 : Thu Sep 20 2007 - 12:02:45 BST