1 #include "check_debug.h"
2 
zero(void)3 int zero(void)
4 {
5 	return 0;
6 }
7 
8 
main(unsigned int x,unsigned int y)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