[PATCH] D142970: [IR] Don't consider interposable globals to be dereferenceable

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

At the C source level, we should be able to assume that if someone writes "extern int x;", that has 4 dereferenceable bytes.  (From the standard: "All declarations that refer to the same object or function shall have compatible type; otherwise, the behavior is undefined.") If there's some incentive to change the way we express that, I'm open to proposals, but I don't think it makes sense to just drop that completely.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D142970/new/

https://reviews.llvm.org/D142970