1 #include "check_debug.h"
2 
3 int frob(void);
4 
main(void)5 int main(void)
6 {
7 	int x;
8 
9 	x = frob();
10 
11 	if (x != -28)
12 		return;
13 
14 	if (x != -28 && x != -30)
15 		__smatch_implied(x);
16 	__smatch_implied(x);
17 
18 	return 0;
19 }
20 
21 /*
22  * check-name: smatch impossible #3
23  * check-command: smatch -I.. sm_impossible3.c
24  *
25  * check-output-start
26 sm_impossible3.c:15 main() implied: x = ''
27 sm_impossible3.c:16 main() implied: x = '(-28)'
28  * check-output-end
29  */
30