[PATCH] D99642: For non-null pointer checks, do not descend through out-of-bounds GEPs

Nikita Popov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Mar 31 02:44:12 PDT 2021


nikic added a comment.

I think this should be using `Val->stripInBoundsOffsets()` rather than modify the `getUnderlyingObject()` API.


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

https://reviews.llvm.org/D99642



More information about the llvm-commits mailing list