1*c85f09ccSJohn Levon extern void use(const char *);
2*c85f09ccSJohn Levon 
ret(void)3*c85f09ccSJohn Levon const char *ret(void)
4*c85f09ccSJohn Levon {
5*c85f09ccSJohn Levon 	return "abc";
6*c85f09ccSJohn Levon }
7*c85f09ccSJohn Levon 
add(void)8*c85f09ccSJohn Levon const char *add(void)
9*c85f09ccSJohn Levon {
10*c85f09ccSJohn Levon 	return "def" + 1;
11*c85f09ccSJohn Levon }
12*c85f09ccSJohn Levon 
call(void)13*c85f09ccSJohn Levon void 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