validation/backend/string-value.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

extern void use(const char *);

const char *ret(void)
{
	return "abc";
}

const char *add(void)
{
	return "def" + 1;
}

void call(void)
{
	use("ijk");
}

/*
 * check-name: string-value
 * check-command: ./sparsec -Wno-decl -c $file -o tmp.o
 */