xpcom/tests/static-checker/flow_through_pass.cpp

Wed, 31 Dec 2014 07:22:50 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Wed, 31 Dec 2014 07:22:50 +0100
branch
TOR_BUG_3246
changeset 4
fc2d59ddac77
permissions
-rw-r--r--

Correct previous dual key logic pending first delivery installment.

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

mercurial