[PATCH] D27114: Preserve nonnull metadata on Loads through SROA & mem2reg.

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

> I am quite sure I was told that !nonnull causes UB rather than poison. Is there some real documentation for that?

Err, no, you're probably right; I haven't really worked with it, and LangRef doesn't say anything, so "must" defaults to undefined behavior.

You still can't propagate backwards without proving post-dominance.


https://reviews.llvm.org/D27114