Re: CVS commit: src/sys/kern

[Steffen Nurpmeso <steffen%sdaoden.eu@localhost>]

David Young wrote in <20191107155806.GL1525%pobox.com@localhost>:
 |On Thu, Nov 07, 2019 at 04:26:51PM +0100, Martin Husemann wrote:
 |> On Thu, Nov 07, 2019 at 02:53:08PM +0100, Kamil Rytarowski wrote:
 |>> On 07.11.2019 14:25, Valery Ushakov wrote:
 ..
 |I think the problem is that if you have the series of statements,
 |
 |        element_t *e = &s->element;
 |
 |        if (s == NULL)
 |                return;
 ...
 |There is probably an argument to be made that in a
 |segmented/tagged/capability architecture that has run C programs
 |(8086; Burroughs Large Systems) or may run them in the future (CHERI),
 |&(NULL)->element cannot sensibly be computed.

You mean they will render any non-compiler-builtin approach to
create field_offsetof() and field_sizeof() impossible.

--steffen
|
|Der Kragenbaer,                The moon bear,
|der holt sich munter           he cheerfully and one by one
|einen nach dem anderen runter  wa.ks himself off
|(By Robert Gernhardt)