1 #include <stdio.h>
2 #include "check_debug.h"
3 
frob1(int * p)4 int frob1(int *p)
5 {
6 	__smatch_implied(*p);
7 }
8 
frob2(int * p)9 int frob2(int *p)
10 {
11 	__smatch_implied(*p);
12 }
13 
14 int x = 42;
15 
16 struct foo {
17 	int a, b, c;
18 };
19 struct foo aaa = {
20 	.a = 1, .b = 2, .c = 3,
21 };
22 
23 int array[10];
24 
main(void)25 int main(void)
26 {
27 	frob1(&x);
28 	frob2(&aaa.b);
29 
30 	return 0;
31 }
32 
33 /*
34  * check-name: smatch mtag #6
35  * check-command: validation/smatch_db_test.sh -I.. sm_mtag6.c
36  *
37  * check-output-start
38 sm_mtag6.c:6 frob1() implied: *p = '42'
39 sm_mtag6.c:11 frob2() implied: *p = '2'
40  * check-output-end
41  */
42