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 11unsigned f(unsigned x) 12{ 13 return x + 1; 14} 15 16int f2(unsigned z) 17{ 18 int y = z + 3; 19 return y / 2; 20} 21 22unsigned g(unsigned y) 23{ 24 return y + 2; 25} 26 27unsigned char h(unsigned char x) 28{ 29 return x + 1; 30} 31