[PATCH] D68342: [Analysis] Don't assume that unsigned overflow can't happen in EmitGEPOffset

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

In D68342#1710600 <https://reviews.llvm.org/D68342#1710600>, @miyuki wrote:

> @lebedev.ri, do you agree that all address spaces should be treated the same way as address space 0 (i.e. no signed overflow)?


I wouldn't be surprised if that isn't so, i don't think it's really documented what normal assumptions do and don't apply to non-0-address-spaces.


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

https://reviews.llvm.org/D68342