xpcom/tests/static-checker/flow_through_fail.cpp

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