[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

Previous message: [PATCH] D99642: For non-null pointer checks, do not descend through out-of-bounds GEPs
Next message: [PATCH] D99642: For non-null pointer checks, do not descend through out-of-bounds GEPs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: [PATCH] D99642: For non-null pointer checks, do not descend through out-of-bounds GEPs
Next message: [PATCH] D99642: For non-null pointer checks, do not descend through out-of-bounds GEPs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list