xpcom/tests/static-checker/flow_through_fail.cpp@ca08bd8f51b2 (annotated)
xpcom/tests/static-checker/flow_through_fail.cpp
Wed, 31 Dec 2014 06:55:46 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Wed, 31 Dec 2014 06:55:46 +0100
- changeset 1
- ca08bd8f51b2
- permissions
- -rw-r--r--
Added tag TORBROWSER_REPLICA for changeset 6474c204b198
| michael@0 | 1 | static void MUST_FLOW_THROUGH(const char *label) { |
| michael@0 | 2 | } |
| michael@0 | 3 | |
| michael@0 | 4 | int test(int x, int y) { |
| michael@0 | 5 | MUST_FLOW_THROUGH("out"); |
| michael@0 | 6 | |
| michael@0 | 7 | if (!x) { |
| michael@0 | 8 | x = y; |
| michael@0 | 9 | goto out; |
| michael@0 | 10 | } |
| michael@0 | 11 | |
| michael@0 | 12 | return y; |
| michael@0 | 13 | out: |
| michael@0 | 14 | x--; |
| michael@0 | 15 | return x; |
| michael@0 | 16 | } |
