mjacob added a comment. ping I have have patches which make the verifier accept the "non-constant GC pointer with constant base" case. Should I submit them for review after this patch here is committed? http://reviews.llvm.org/D15940