tests/cr.c

   1 int main() {
   2   int x;
   3   x = request_region(a,b,c);
   4   if (!x) { foo(); }
   5   if (x) { foo(); return 1; }
   6   if (x) { foo(); release_region(a,b); return 2; }
   7   if (x) { foo(); release_region(a,b); return 3; }
   8   release_region(a,b);
   9   if (!y) { foo(); }
  10   if (y) { foo(); return 1; }
  11   if (y) { foo(); release_region(a,b); return 1; }
  12 }