Stream: t-lang/wg-unsafe-code-guidelines

Topic: Accessing uninitialized field lvalues


Nicole Mazzuca (Aug 31 2018 at 05:43, on Zulip):

https://github.com/ubsan/newt/blob/master/src/parser/ident.rs#L27

I feel like this is a usecase we should keep in mind, at least - given a value of type pointer to T, you need to be able to access fields on the object, even if the object is uninitialized.

RalfJ (Aug 31 2018 at 06:32, on Zulip):

@Nicole Mazzuca definitely. please bring this up for discussion once we are talking about validity invariants :)

Nicole Mazzuca (Aug 31 2018 at 06:33, on Zulip):

@RalfJ yeah, just wanna make sure it's in the chat somewhere so I remember

Last update: Nov 19 2019 at 17:40UTC