On Nov 6, 11:17pm, n...@gmx.com (Kamil Rytarowski) wrote: -- Subject: Re: CVS commit: src/sys/kern
| Technically, I think that this is a real UB. | | 6.3.2.3/7 | A pointer to an object type may be converted to a pointer to a | different object type. If the resulting pointer is not correctly | aligned for the referenced type, the behavior is undefined. Then you are right. I guess the rationale for the above is that ... pauses to think ... Dereferencing the new object with the different type can fail if the original pointer was unaligned? I don't see how. | I agree that this is appeasing the sanitizer. Yes, on that we agree. christos
