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