xpcom/tests/static-checker/flow_through_fail.cpp@44a2da4a2ab2 (annotated)
xpcom/tests/static-checker/flow_through_fail.cpp
Fri, 16 Jan 2015 04:50:19 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Fri, 16 Jan 2015 04:50:19 +0100
- branch
- TOR_BUG_9701
- changeset 13
- 44a2da4a2ab2
- permissions
- -rw-r--r--
Replace accessor implementation with direct member state manipulation, by
request https://trac.torproject.org/projects/tor/ticket/9701#comment:32
| 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 | } |
