11f5207bJohn Levon#include "check_debug.h"
21f5207bJohn Levon
31f5207bJohn Levonint zero(void)
41f5207bJohn Levon{
51f5207bJohn Levon	return 0;
61f5207bJohn Levon}
71f5207bJohn Levon
81f5207bJohn Levon
91f5207bJohn Levonint main(unsigned int x, unsigned int y)
101f5207bJohn Levon{
111f5207bJohn Levon	if (zero())
121f5207bJohn Levon		__smatch_states("register_impossible_return");
131f5207bJohn Levon	else
141f5207bJohn Levon		__smatch_states("register_impossible_return");
151f5207bJohn Levon}
161f5207bJohn Levon
171f5207bJohn Levon/*
181f5207bJohn Levon * check-name: smatch impossible #1
191f5207bJohn Levon * check-command: smatch -I.. sm_impossible1.c
201f5207bJohn Levon *
211f5207bJohn Levon * check-output-start
221f5207bJohn Levonsm_impossible1.c:12 main() [register_impossible_return] 'impossible' = 'impossible'
231f5207bJohn Levonsm_impossible1.c:14 main() register_impossible_return: no states
241f5207bJohn Levon * check-output-end
251f5207bJohn Levon */
26