arsenm wrote: > What do you think about the other question though: can we just unconditionally assume that the pointers are dereferenceable and always use nuw? The memset is dereferencing them, so yes I think this is implied https://github.com/llvm/llvm-project/pull/80184