tpr added a comment. Thanks Tom. Just setting mayAlias() didn't fix it. So I have gone with setting isAliased() as well. We should revisit this, but maybe it's not worth it until we get round to doing fat pointers. https://reviews.llvm.org/D41969