slice: remove unneeded nr_nrbits from EXPR_SLICE
[smatch.git] / validation / c99-for-loop.c
blob427fde268a7a67528a96945574165ed8f0da37f1
1 int c99(void);
2 int c99(void)
4 int r = -1;
6 for (int i = 0; i < 10; i++) {
7 r = i;
10 return r;
14 * check-name: C99 for loop variable declaration
15 * check-command: test-linearize $file
17 * check-output-ignore
18 * check-output-contains: phisrc\\.
19 * check-output-contains: phi\\.
20 * check-output-contains: add\\.