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