LGTM Thanks for working on this! If you don't yet have commit access ask Yuri to commit (mentioning you as the author). Next steps would be to enable the flag by default (we'll do our part of testing too). And then it may be interesting to enable use-after-return for allocas. http://reviews.llvm.org/D6055