Meinersbur accepted this revision. Meinersbur added a comment. This revision is now accepted and ready to land. It is the same gist which is already applied on AssumedContext, i.e. making their handling more consistent. Good work. http://reviews.llvm.org/D20229