1 #include <stdio.h> 2 #include <string.h> 3 #include "check_debug.h" 4 5 long long l; 6 long long ul; 7 int i; 8 int ui; 9 signed char c; 10 char uc; 11 12 int main(void) 13 { 14 int idx; 15 16 if (c < 2) 17 return 1; 18 if (uc < (unsigned int)2) 19 return 1; 20 if (i < 2) 21 return 1; 22 if (ui < (unsigned int)2) 23 return 1; 24 if (l < 2) 25 return 1; 26 if (ul < (unsigned int)2) 27 return 1; 28 29 __smatch_implied(l); 30 __smatch_implied(ul); 31 __smatch_implied(i); 32 __smatch_implied(ui); 33 __smatch_implied(c); 34 __smatch_implied(uc); 35 36 return 0; 37 } 38 39 40 /* 41 * check-name: smatch: casts #6 42 * check-command: smatch -I.. sm_casts6.c 43 * 44 * check-output-start 45 sm_casts6.c:29 main() implied: l = '2-s64max' 46 sm_casts6.c:30 main() implied: ul = '2-s64max' 47 sm_casts6.c:31 main() implied: i = '2-s32max' 48 sm_casts6.c:32 main() implied: ui = 's32min-(-1),2-s32max' 49 sm_casts6.c:33 main() implied: c = '2-127' 50 sm_casts6.c:34 main() implied: uc = '(-128)-(-1),2-127' 51 * check-output-end 52 */ 53