1/*
2 * Copyright 2016, 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
11/*
12 * AutoCorres does most of its translations using free variables
13 * to stand for function arguments and callees.
14 * Most of those free variables should be fixed appropriately,
15 * (using variant_fixes) to prevent clashes in the following names.
16 */
17
18/* Function/arg name conflicts */
19int f2(int, int);
20int f1(int l2_f1, int l2_f2) {
21  return f2(l2_f1, l2_f2);
22}
23int f2(int l2_f1, int l2_f2) {
24  return f1(l2_f1, l2_f2);
25}
26
27/* Locale fixed frees */
28void locale_fixed(void) {
29}
30int symbol_table(int symbol_table) {
31  return symbol_table;
32}
33
34/* Basic function for doing other tests */
35void foo(void) {
36}
37