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 int plus(unsigned int a, unsigned int b) { 12 return a + b; 13} 14 15unsigned int plus2(unsigned int a, unsigned int b) { 16 while (b > 0) { 17 a += 1; 18 b -= 1; 19 } 20 return a; 21} 22 23int main(int argc, char **argv) { 24 return !(plus(1, 2) == plus2(1, 2)); 25} 26