[PATCH] D110977: [BasicAA] Model implicit trunc of GEP indices

[Philip Reames via Phabricator via llvm-commits]

reames accepted this revision.
reames added a comment.
This revision is now accepted and ready to land.

LGTM

I'm a bit hesitant to LGTM this as I'm not super familiar with the code, but since no one else seems to be reviewing it and I don't spot any obvious problems, I'm doing so.  Hopefully the new code is at least "more correct" than the old code.


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

https://reviews.llvm.org/D110977