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

[luxufan via Phabricator via llvm-commits]

StephenFan added inline comments.


================
Comment at: llvm/lib/Transforms/Utils/SimplifyCFG.cpp:7133-7135
+          if (!(GEP->isInBounds() &&
+                !NullPointerIsDefined(GEP->getFunction(),
+                                      GEP->getPointerAddressSpace()))) {
----------------
This condition equivalent to 
```
          if (!GEP->isInBounds() ||
                NullPointerIsDefined(GEP->getFunction(),
                                      GEP->getPointerAddressSpace())) {
```
which repeats the above if statement.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D144563