1 #include "check_debug.h" 2 3 int x; func(void)4void func(void) 5 { 6 7 if (x < 1) 8 __smatch_value("x"); 9 else 10 __smatch_value("x"); 11 12 if (12 < x) 13 __smatch_value("x"); 14 else 15 __smatch_value("x"); 16 17 if (x <= 23) 18 __smatch_value("x"); 19 else 20 __smatch_value("x"); 21 22 if (34 <= x) 23 __smatch_value("x"); 24 else 25 __smatch_value("x"); 26 27 if (x >= 45) 28 __smatch_value("x"); 29 else 30 __smatch_value("x"); 31 32 if (56 >= x) 33 __smatch_value("x"); 34 else 35 __smatch_value("x"); 36 37 if (x > 67) 38 __smatch_value("x"); 39 else 40 __smatch_value("x"); 41 42 if (78 > x) 43 __smatch_value("x"); 44 else 45 __smatch_value("x"); 46 47 if (89 == x) 48 __smatch_value("x"); 49 else 50 __smatch_value("x"); 51 52 if (100 != x) 53 __smatch_value("x"); 54 else 55 __smatch_value("x"); 56 57 return; 58 } 59 /* 60 * check-name: smatch range comparison 61 * check-command: smatch -I.. sm_range3.c 62 * 63 * check-output-start 64 sm_range3.c:8 func() x = s32min-0 65 sm_range3.c:10 func() x = 1-s32max 66 sm_range3.c:13 func() x = 13-s32max 67 sm_range3.c:15 func() x = s32min-12 68 sm_range3.c:18 func() x = s32min-23 69 sm_range3.c:20 func() x = 24-s32max 70 sm_range3.c:23 func() x = 34-s32max 71 sm_range3.c:25 func() x = s32min-33 72 sm_range3.c:28 func() x = 45-s32max 73 sm_range3.c:30 func() x = s32min-44 74 sm_range3.c:33 func() x = s32min-56 75 sm_range3.c:35 func() x = 57-s32max 76 sm_range3.c:38 func() x = 68-s32max 77 sm_range3.c:40 func() x = s32min-67 78 sm_range3.c:43 func() x = s32min-77 79 sm_range3.c:45 func() x = 78-s32max 80 sm_range3.c:48 func() x = 89 81 sm_range3.c:50 func() x = s32min-88,90-s32max 82 sm_range3.c:53 func() x = s32min-99,101-s32max 83 sm_range3.c:55 func() x = 100 84 * check-output-end 85 */ 86