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