> Isn't this kind of implied by the already documented restriction of > taking the address of a union field? Still, you can add this or any kind > of similar language if you like.
It's stronger I think since you can do type punning without taking an address. -- Eric Botcazou
