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 226523a3aJohn 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