pcc abandoned this revision. pcc added a comment. Okay, let's go with http://reviews.llvm.org/D20260 then. > Should the verifier check if this the property is invalidly set? Sounds like a good idea to me, I'll do that on the other patch. http://reviews.llvm.org/D20258