1
2
3
4#line 8 "files/nested_structure_ptr.c"
5struct Innermost {
6 int c ;
7};
8#line 8 "files/nested_structure_ptr.c"
9struct Inner {
10 int b ;
11 struct Innermost *y ;
12};
13#line 8 "files/nested_structure_ptr.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 18 "files/nested_structure_ptr.c"
29int main(void)
30{ struct Innermost im ;
31 struct Inner inner ;
32 struct Toplev good ;
33 struct Toplev *ptr ;
34 struct Inner *__cil_tmp5 ;
35 struct Innermost *__cil_tmp6 ;
36 struct Inner *__cil_tmp7 ;
37 struct Innermost *__cil_tmp8 ;
38 int __cil_tmp9 ;
39
40 {
41#line 20
42 im.c = 3;
43#line 21
44 inner.b = 2;
45#line 21
46 inner.y = & im;
47#line 22
48 good.a = 1;
49#line 22
50 good.x = & inner;
51#line 23
52 ptr = & good;
53#line 24
54 __cil_tmp5 = ptr->x;
55#line 24
56 __cil_tmp6 = __cil_tmp5->y;
57#line 24
58 __cil_tmp6->c = 4;
59 {
60#line 25
61 __cil_tmp7 = ptr->x;
62#line 25
63 __cil_tmp8 = __cil_tmp7->y;
64#line 25
65 __cil_tmp9 = __cil_tmp8->c;
66#line 25
67 if (__cil_tmp9 == 4) {
68
69 } else {
70 {
71#line 25
72 __blast_assert();
73 }
74 }
75 }
76#line 26
77 return (0);
78}
79}