1#include "check_debug.h"
2
3int zero(void)
4{
5	return 0;
6}
7
8
9int 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
22sm_impossible1.c:12 main() [register_impossible_return] impossible = 'impossible'
23sm_impossible1.c:14 main() register_impossible_return: no states
24 * check-output-end
25 */
26