> Does anyone know of any ABIs which do not have this requirement? I am > wondering if this should be left conditional or removed altogether. For a number of embedded targets we actually define the ABI. And I think it is on average of more benefit to avoid copying structures around than to be certain that there is no aliasing.