1 #include "check_debug.h" 2 3 int zero(void) 4 { 5 return 0; 6 } 7 8 9 int main(unsigned int x, unsigned int y) 10 { 11 if (zero()) 12 __smatch_states("register_impossible_return"); 13 else 14 __smatch_states("register_impossible_return"); 15 } 16 17 /* 18 * check-name: smatch impossible #1 19 * check-command: smatch -I.. sm_impossible1.c 20 * 21 * check-output-start 22 sm_impossible1.c:12 main() [register_impossible_return] 'impossible' = 'impossible' 23 sm_impossible1.c:14 main() register_impossible_return: no states 24 * check-output-end 25 */ 26