1 #include "check_debug.h"
2 
3 struct ture {
4 	int x, y;
5 };
6 
7 struct ture outside = {
8 	.x = 1,
9 	.y = 2,
10 };
11 
12 struct ture buf[10];
test(void)13 void test(void)
14 {
15 	int a, b;
16 
17 	a = 0;
18 	b = 0;
19 	buf[a++] = outside;
20 	buf[++b] = outside;
21 	__smatch_implied(a);
22 	__smatch_implied(b);
23 }
24 
25 /*
26  * check-name: smatch fake assignment
27  * check-command: smatch -I.. sm_fake_assignment.c
28  *
29  * check-output-start
30 sm_fake_assignment.c:21 test() implied: a = '1'
31 sm_fake_assignment.c:22 test() implied: b = '1'
32  * check-output-end
33  */
34