xpcom/tests/static-checker/flow_through_fail.cpp@b8a032363ba2 (annotated)
xpcom/tests/static-checker/flow_through_fail.cpp
Thu, 22 Jan 2015 13:21:57 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Thu, 22 Jan 2015 13:21:57 +0100
- branch
- TOR_BUG_9701
- changeset 15
- b8a032363ba2
- permissions
- -rw-r--r--
Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6
| 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 | } |
