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() a = min-(-1),1-max
34 sm_range2.c:8 frob() a = 0
35 sm_range2.c:9 frob() a = min-max
36 sm_range2.c:12 frob() b = 0
37 sm_range2.c:14 frob() b = min-max
38 sm_range2.c:17 frob() c = min-max
39 sm_range2.c:20 frob() d = (-3)-99
40 sm_range2.c:25 frob() d = (-3)-99
41 sm_range2.c:26 frob() e = min-max