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

Roman Lebedev via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Mar 31 02:00:59 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 ]

lebedev.ri added subscribers: nlopes, aqjune.
lebedev.ri added a comment.

alive2 again doesn't agree that non-inbounds GEP is allowed to produce null pointer: https://alive2.llvm.org/ce/z/9wfL5x


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