1 #include "check_debug.h"
26 * check-name: Smatch Range #4
27 * check-command: smatch -I.. sm_range4.c
30 sm_range4.c:8 frob(3) a = 6-max
31 sm_range4.c:12 frob(7) b = 7-max
32 sm_range4.c:16 frob(11) c = 6-max
33 sm_range4.c:19 frob(14) a = min-5
34 sm_range4.c:20 frob(15) b = min-6
35 sm_range4.c:21 frob(16) c = min-5