1const char *s = "abc";
2int x = 4;
3int y;
4
5int *p = &x;
6int *q;
7
8int loadn(void) { return y; }
9int loadi(void) { return x; }
10
11const char *loads(void) { return s; }
12
13int *retpn(void) { return  q; }
14int loadpn(void) { return *q; }
15int *retpi(void) { return  p; }
16int loadpi(void) { return *p; }
17
18/*
19 * check-name: use simple value from global vars
20 * check-command: sparsec -Wno-decl -c $file -o tmp.o
21 */
22