David Young wrote in <20191107155806.gl1...@pobox.com>: |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)