Source-Changes-D archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
Re: CVS commit: src/sys/kern
On Nov 6, 11:17pm, n54%gmx.com@localhost (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
Home |
Main Index |
Thread Index |
Old Index