sanjoy accepted this revision. sanjoy added a reviewer: sanjoy. sanjoy added a comment. I'm not a 100% comfortable signing off on changes to BasicAliasAnalysis, but given that this change looks good to Hal and you've fixed the `undef` issue I think this is okay to check in. http://reviews.llvm.org/D10368