xpcom/tests/static-checker/flow_through_pass.cpp@b8a032363ba2 (annotated)
xpcom/tests/static-checker/flow_through_pass.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 | if (x == 3) |
| michael@0 | 6 | return 0; |
| michael@0 | 7 | |
| michael@0 | 8 | if(x) |
| michael@0 | 9 | MUST_FLOW_THROUGH("out"); |
| michael@0 | 10 | |
| michael@0 | 11 | if (x) { |
| michael@0 | 12 | x = y; |
| michael@0 | 13 | goto out; |
| michael@0 | 14 | } |
| michael@0 | 15 | |
| michael@0 | 16 | return y; |
| michael@0 | 17 | out: |
| michael@0 | 18 | x--; |
| michael@0 | 19 | return x; |
| michael@0 | 20 | } |
