1*c85f09ccSJohn Levon extern void use(const char *); 2*c85f09ccSJohn Levon ret(void)3*c85f09ccSJohn Levonconst char *ret(void) 4*c85f09ccSJohn Levon { 5*c85f09ccSJohn Levon return "abc"; 6*c85f09ccSJohn Levon } 7*c85f09ccSJohn Levon add(void)8*c85f09ccSJohn Levonconst char *add(void) 9*c85f09ccSJohn Levon { 10*c85f09ccSJohn Levon return "def" + 1; 11*c85f09ccSJohn Levon } 12*c85f09ccSJohn Levon call(void)13*c85f09ccSJohn Levonvoid call(void) 14*c85f09ccSJohn Levon { 15*c85f09ccSJohn Levon use("ijk"); 16*c85f09ccSJohn Levon } 17*c85f09ccSJohn Levon 18*c85f09ccSJohn Levon /* 19*c85f09ccSJohn Levon * check-name: string-value 20*c85f09ccSJohn Levon * check-command: sparsec -Wno-decl -c $file -o tmp.o 21*c85f09ccSJohn Levon */ 22