1 #include "check_debug.h"
29 * check-name: Smatch range test #2
30 * check-command: smatch -I.. sm_range2.c
33 sm_range2.c:6 frob(2) a = min-(-1),1-max
34 sm_range2.c:8 frob(4) a = 0
35 sm_range2.c:9 frob(5) a = min-max
36 sm_range2.c:12 frob(8) b = 0
37 sm_range2.c:14 frob(10) b = min-max
38 sm_range2.c:17 frob(13) c = unknown
39 sm_range2.c:20 frob(16) d = (-3)-99
40 sm_range2.c:25 frob(21) d = (-3)-99
41 sm_range2.c:26 frob(22) e = min-max