1 #include "check_debug.h"
12 for (x
= 0; x
< y
; x
++) {
30 * check-name: smatch loops #1
31 * check-command: smatch -I.. sm_loops2.c
34 sm_loops2.c +10 func(3) x = unknown
35 sm_loops2.c +11 func(4) x = unknown
36 sm_loops2.c +16 func(9) x = 0-max
37 sm_loops2.c +18 func(11) x = 0-max
38 sm_loops2.c +19 func(12) x = (-1)
39 sm_loops2.c +22 func(15) x = 0-9
40 sm_loops2.c +23 func(16) x = (-1)
41 sm_loops2.c +26 func(19) x = 1-9
42 sm_loops2.c +27 func(20) x = 0