1 #include "check_debug.h"
60 * check-name: smatch range comparison
61 * check-command: smatch -I.. sm_range3.c
64 sm_range3.c:8 func() x = min-0
65 sm_range3.c:10 func() x = 1-max
66 sm_range3.c:13 func() x = 13-max
67 sm_range3.c:15 func() x = min-12
68 sm_range3.c:18 func() x = min-23
69 sm_range3.c:20 func() x = 24-max
70 sm_range3.c:23 func() x = 34-max
71 sm_range3.c:25 func() x = min-33
72 sm_range3.c:28 func() x = 45-max
73 sm_range3.c:30 func() x = min-44
74 sm_range3.c:33 func() x = min-56
75 sm_range3.c:35 func() x = 57-max
76 sm_range3.c:38 func() x = 68-max
77 sm_range3.c:40 func() x = min-67
78 sm_range3.c:43 func() x = min-77
79 sm_range3.c:45 func() x = 78-max
80 sm_range3.c:48 func() x = 89
81 sm_range3.c:50 func() x = min-88,90-max
82 sm_range3.c:53 func() x = min-99,101-max
83 sm_range3.c:55 func() x = 100