Commit | Line | Data |
---|---|---|
34e49164 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 | } |