rsmith accepted this revision. rsmith added a comment. This revision is now accepted and ready to land. OK, let's go with this as a starting point. We don't need to get maximally-precise type information in the first iteration. http://reviews.llvm.org/D16821