StephenFan added a comment. Is the behavior of violating !dereferencable or !dereferencable_or_null also IUB? If so, these metadata can also be retained. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D148129/new/ https://reviews.llvm.org/D148129