1/*
2 * Copyright 2018, Data61, CSIRO
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(DATA61_BSD)
9 */
10
11int f(void);
12
13struct two_int {
14    int first, second;
15};
16
17void baseline1(void) {
18    int x;
19    x = f();
20}
21
22int baseline2(void) {
23    return f();
24}
25
26void test1(void) {
27    unsigned y;
28    y = f();
29}
30
31void test2(void) {
32    struct two_int t;
33    t.first = f();
34}
35
36void test3(void) {
37    int z[2];
38    z[0] = f();
39}
40
41unsigned test4(void) {
42    return f();
43}
44
45struct two_int test5(void) {
46    return (struct two_int) { .first = f() };
47}
48