rnk added a comment. I don't think you've addressed Richard's concerns convincingly. He feels that having more Sema-global contexts is the wrong way to go, and if this is the cost of more accurate __noop support, then maybe it's not worth it. http://reviews.llvm.org/D9000