[PATCH] Minor refactoring of GEP handling in isDereferenceablePointer

[Artur Pilipenko]

Philip, the change was separated from http://reviews.llvm.org/D9791 by Sanjoy's suggestion. To take alignment into account I need to know GEP's offset. That was intended to be a NFC, but it turned out to be not.

Sanjoy, you are right, it will give another result for your code. I think it's OK as long as we stay within the underlying object size. Will add a test case.


http://reviews.llvm.org/D9874

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/