xref: /illumos-gate/usr/src/tools/smatch/src/validation/sm_casts3.c (revision 1f5207b7604fb44407eb4342aff613f7c4508508)
1 #include "check_debug.h"
2 
3 unsigned int a;
4 int b;
5 int func(void)
6 {
7 	b = a;
8 	__smatch_implied(a);
9 	__smatch_implied(b);
10 }
11 
12 /*
13  * check-name: smatch: casts #3
14  * check-command: smatch -I.. sm_casts3.c
15  *
16  * check-output-start
17 sm_casts3.c:8 func() implied: a = ''
18 sm_casts3.c:9 func() implied: b = 's32min-s32max'
19  * check-output-end
20  */
21