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