[PATCH] D144563: [SimplifyCFG] Improve the precision of `PtrValueMayBeModified`

Nikita Popov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Sat Feb 25 00:35:47 PST 2023 

nikic added a comment.

Missing a test with inbounds + null_pointer_is_valid, I think?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D144563

More information about the llvm-commits mailing list