michael@0: static void MUST_FLOW_THROUGH(const char *label) {
michael@0: }
michael@0: 
michael@0: int test(int x, int y) {
michael@0:   MUST_FLOW_THROUGH("out");
michael@0:   
michael@0:   if (!x) {
michael@0:     x = y;
michael@0:     goto out;
michael@0:   }
michael@0: 
michael@0:   return y;
michael@0:  out:
michael@0:   x--;
michael@0:   return x;
michael@0: }