1 const char *s = "abc";
2 int x = 4;
3 int y;
4
5 int *p = &x;
6 int *q;
7
loadn(void)8 int loadn(void) { return y; }
loadi(void)9 int loadi(void) { return x; }
10
loads(void)11 const char *loads(void) { return s; }
12
retpn(void)13 int *retpn(void) { return q; }
loadpn(void)14 int loadpn(void) { return *q; }
retpi(void)15 int *retpi(void) { return p; }
loadpi(void)16 int 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