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 char uint8_t;
12typedef unsigned int uint32_t;
13
14uint8_t foo(int a, uint32_t b, uint8_t c)
15{
16            return a + b + c;
17}
18
19uint8_t bar(int a, uint32_t b, uint8_t c)
20{
21            return foo(1, 2, foo(1, 2, 3));
22}
23
24uint32_t foo2(int a, uint32_t b, uint8_t c)
25{
26            return a + b + c;
27}
28
29uint32_t bar2(int a, uint32_t b, uint8_t c)
30{
31            return foo2(a, b, foo2(1, 2, 3));
32}
33
34uint8_t foo3(int a, uint32_t b, uint8_t c)
35{
36            return a + b + c;
37}
38
39uint8_t bar3(int a, uint32_t b, uint8_t c)
40{
41            return foo3(1, 2, foo3(1, 2, 3));
42}
43
44uint32_t foo4(int a, uint32_t b, uint8_t c)
45{
46            return a + b + c;
47}
48
49uint32_t bar4(int a, uint32_t b, uint8_t c)
50{
51            return foo4(a, b, foo2(1, 2, 3));
52}
53
54uint8_t foo5(int a, uint32_t b, uint8_t c)
55{
56            return a + b + c;
57}
58
59uint8_t bar5(int a, uint32_t b, uint8_t c)
60{
61            return foo(1, 2, foo(1, 2, 3));
62}
63
64uint32_t foo6(int a, uint32_t b, uint8_t c)
65{
66            return a + b + c;
67}
68
69uint32_t bar6(int a, uint32_t b, uint8_t c)
70{
71            return foo2(a, b, foo2(1, 2, 3));
72}
73
74uint8_t foo7(int a, uint32_t b, uint8_t c)
75{
76            return a + b + c;
77}
78
79uint8_t bar7(int a, uint32_t b, uint8_t c)
80{
81            return foo3(1, 2, foo3(1, 2, 3));
82}
83
84uint32_t foo8(int a, uint32_t b, uint8_t c)
85{
86            return a + b + c;
87}
88
89uint32_t bar8(int a, uint32_t b, uint8_t c)
90{
91            return foo4(a, b, foo2(1, 2, 3));
92}
93
94
95