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

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

I agree that the size of a block should not be larger than the half of memory size.

> https://lists.llvm.org/pipermail/llvm-dev/2017-November/118914.html

This is a pretty informative link. :) Thank you for sharing this.


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

https://reviews.llvm.org/D68342