nhaehnle added a comment. I haven't looked in too much detail yet. I assume getelementptr doesn't work with these pointers, so it would be good to have a negative test which ensures that GEP use fails. https://reviews.llvm.org/D27586