1 #include "check_debug.h"
9 for (a
= 0; a
< 10; a
++)
15 for (a
= 0; a
!= 10; a
++)
18 for (a
= 0; a
<= 10; a
++)
24 * check-name: smatch loops #1
25 * check-command: smatch -I.. sm_loops1.c
28 sm_loops1.c +10 func(5) a = 0-9
29 sm_loops1.c +11 func(6) a = 10
30 sm_loops1.c +13 func(8) a =
31 sm_loops1.c +14 func(9) a = 10
32 sm_loops1.c +16 func(11) a = 0-9
33 sm_loops1.c +17 func(12) a = 10
34 sm_loops1.c +19 func(14) a = 0-10
35 sm_loops1.c +20 func(15) a = 11