> typedef union { > int u1; > char u2; > } union_type; > > typedef struct { > int f1; > union_type f2; > } struct_type; > > struct_type s; > > s.u1 = 0; /* should be: s.f1.u1 = 0 */ Gee, our compiler certainly complains about this one.