[PATCH] D85522: [Loads] Globals are dereferenceable, if offset + size <= sizeof(global).

[Nuno Lopes via Phabricator via llvm-commits]

nlopes added a comment.

The reasoning looks good, though the case when offset + size overflows doesn't seem to be considered.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D85522