[PATCH] Minor refactoring of GEP handling in isDereferenceablePointer
apilipenko at azulsystems.com
Fri May 29 02:47:21 PDT 2015
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.
More information about the llvm-commits