allocations: set the ->total_size, ->nr_elem and ->elem_size expressions
[smatch.git] / validation / mem2reg / loop02-global.c
blobb627b33d18c3d0feca64f43b4312bc85f4056544
1 int i;
3 int foo(void)
5 int j = 1;
6 i = 6;
8 do {
9 if (i != 6)
10 i++;
11 i++;
12 } while (i != j);
14 return j;
18 * check-name: loop02 global
19 * check-command: test-linearize -Wno-decl $file
20 * check-output-ignore
21 * check-output-excludes: load\\.