1/*
2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 */
6
7void swap(int *i1, int *i2)
8{
9  int tmp;
10  tmp = *i1;
11  *i1 = *i2;
12  *i2 = tmp;
13}
14
15int f(void)
16{
17  int i = 1;
18  int j = 2;
19
20  swap(&i, &j);
21  return j;
22}
23