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