xref: /illumos-gate/usr/src/tools/smatch/src/validation/sm_casts7.c (revision 8226594fdd4479be135127f43632f1f995074654)
1 #include <stdio.h>
2 #include <string.h>
3 #include "check_debug.h"
4 
5 int a;
6 int x;
7 
8 int main(void)
9 {
10 	a = (unsigned short)x;
11 	__smatch_implied(a);
12 
13 	return 0;
14 }
15 
16 
17 /*
18  * check-name: smatch: casts #7
19  * check-command: smatch -I.. sm_casts7.c
20  *
21  * check-output-start
22 sm_casts7.c:11 main() implied: a = '0-u16max'
23  * check-output-end
24  */
25