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

[Nuno Lopes via Phabricator via llvm-commits]

nlopes added a comment.

The patch looks good to me. Actually I had reported this bug a while back as well: https://bugs.llvm.org/show_bug.cgi?id=42699
I agree we can't have objects larger than half of the address space.

My only question is : why the restriction to address space 0?  LangRef doesn't have any exception for other address spaces in these matters AFAICT.


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

https://reviews.llvm.org/D68342