1
2
3
4#line 7 "files/nested_structure.c"
5struct Innermost {
6 int c ;
7};
8#line 7 "files/nested_structure.c"
9struct Inner {
10 int b ;
11 struct Innermost *y ;
12};
13#line 7 "files/nested_structure.c"
14struct Toplev {
15 int a ;
16 struct Inner *x ;
17};
18#line 2 "./assert.h"
19void __blast_assert(void)
20{
21
22 {
23 ERROR:assert(0);
24#line 4
25 goto ERROR;
26}
27}
28#line 17 "files/nested_structure.c"
29int main(void)
30{ struct Innermost im ;
31 struct Inner inner ;
32 struct Toplev good ;
33 struct Innermost *__cil_tmp4 ;