| const char *s = "abc"; | |
| int x = 4; | |
| int y; | |
| int *p = &x; | |
| int *q; | |
| int loadn(void) { return y; } | |
| int loadi(void) { return x; } | |
| const char *loads(void) { return s; } | |
| int *retpn(void) { return q; } | |
| int loadpn(void) { return *q; } | |
| int *retpi(void) { return p; } | |
| int loadpi(void) { return *p; } | |
| /* | |
| * check-name: use simple value from global vars | |
| * check-command: sparsec -Wno-decl -c $file -o tmp.o | |
| */ |