A CIL Tutorial - Department of Computer Science - ETH Zürich

CHAPTER 5. INTERPRETED CONSTRUCTORS 46
../test/tut5.out.c
__cil_tmp3 = sizeof(b) / sizeof(b[0]) - 1;
while (__cil_tmp3 >= 0) {
b[__cil_tmp3].b.f.a = (void *)0;
b[__cil_tmp3].b.f.c = (void *)0;
b[__cil_tmp3].b.a = (void *)0;
b[__cil_tmp3].c = (void *)0;
__cil_tmp3 --;
}