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 11/* test file for determining the a program's "state" */ 12 13typedef int * intptr; 14 15struct s { int x, y; intptr p; }; 16 17extern int f(struct s *ptr, intptr p); 18 19struct s svalue, *sptr; 20 21int g(int x) 22{ 23 unsigned int n; 24 struct s svalue2, *sptr2; 25 return (x + n); 26} 27 28struct s h(int y) 29{ 30 struct s returnvalue; 31 returnvalue.x = y; 32 returnvalue.y = y; 33 returnvalue.p = null; 34 return (returnvalue); 35} 36