efriedma added a comment. SSAUpdater has code to insert undef in certain cases. Can you prove those cases don't apply to all callers of GetValueAtEndOfBlock? CHANGES SINCE LAST ACTION https://reviews.llvm.org/D57033/new/ https://reviews.llvm.org/D57033