return_false(void)1 static _Bool return_false(void) 2 { 3 return 0; 4 } 5 6 /* 7 * check-name: Boolean type code generation 8 * check-command: sparsec -c $file -o tmp.o 9 */ 10