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