xpcom/tests/static-checker/flow_through_pass.cpp

   1 static void MUST_FLOW_THROUGH(const char *label) {
   2 }
   3
   4 int test(int x, int y) {
   5   if (x == 3)
   6     return 0;
   7
   8   if(x)
   9     MUST_FLOW_THROUGH("out");
  10
  11   if (x) {
  12     x = y;
  13     goto out;
  14   }
  15
  16   return y;
  17  out:
  18   x--;
  19   return x;
  20 }