I think C and C++ have enough problems with accidental undefined behavior already without making aliased pointers into UB.