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