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 Levonint loadn(void) { return y; } loadi(void)9*c85f09ccSJohn Levonint loadi(void) { return x; } 10*c85f09ccSJohn Levon loads(void)11*c85f09ccSJohn Levonconst char *loads(void) { return s; } 12*c85f09ccSJohn Levon retpn(void)13*c85f09ccSJohn Levonint *retpn(void) { return q; } loadpn(void)14*c85f09ccSJohn Levonint loadpn(void) { return *q; } retpi(void)15*c85f09ccSJohn Levonint *retpi(void) { return p; } loadpi(void)16*c85f09ccSJohn Levonint 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