1 #include "check_debug.h"
2 
3 int frob(void);
4 
5 int a;
func(char * input)6 int func (char *input)
7 {
8 	int x = frob();
9 
10 	if (a == 1) {
11 		if (x != -5)
12 			return;
13 	} else if (a == 2) {
14 		if (x < 0 || x > 10)
15 			return;
16 	} else {
17 		return;
18 	}
19 
20 	if (x)
21 		;
22 
23 	if (x == -5)
24 		__smatch_implied(a);
25 
26 	return 0;
27 }
28 
29 /*
30  * check-name: smatch implied #17
31  * check-command: smatch -I.. sm_implied17.c
32  *
33  * check-output-start
34 sm_implied17.c:24 func() implied: a = '1'
35  * check-output-end
36  */
37