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