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:
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 ;
34 struct Innermost *__cil_tmp5 ;
35 int __cil_tmp6 ;
36
37 {
38#line 19
39 im.c = 3;
40#line 20
41 inner.b = 2;
42#line 20
43 inner.y = & im;
44#line 21
45 good.a = 1;
46#line 21
47 good.x = & inner;
48#line 22
49 __cil_tmp4 = (good.x)->y;
50#line 22
51 __cil_tmp4->c = 4;
52 {
53#line 23
54 __cil_tmp5 = (good.x)->y;
55#line 23
56 __cil_tmp6 = __cil_tmp5->c;
57#line 23
58 if (__cil_tmp6 == 4) {
59
60 } else {
61 {
62#line 23
63 __blast_assert();
64 }
65 }
66 }
67#line 24
68 return (0);
69}
70}