1/*
2 * Copyright 2014, NICTA
3 *
4 * This software may be distributed and modified according to the terms of
5 * the BSD 2-Clause license. Note that NO WARRANTY is provided.
6 * See "LICENSE_BSD2.txt" for details.
7 *
8 * @TAG(NICTA_BSD)
9 */
10
11typedef unsigned int uint;
12
13uint moop;
14
15uint f(uint a, uint b, uint c)
16{
17    return a + b + c;
18}
19
20uint foo(uint xy, uint z)
21{
22    uint *xx = &moop;
23    uint t = 3;
24    uint y = 1;
25    uint q = 3;
26    *xx = 3;
27    uint i;
28    uint n = 3;
29
30    while (t < 10 && t < n) {
31        t += y;
32        y += q;
33        if (t > 10)
34            break;
35        else
36            continue;
37    }
38
39
40    while (i < n  && i < 42) {
41        f(i,i+1,i+2);
42        i++;
43    }
44
45    return t + y + q;
46}
47
48
49