[llvm] [ValueTracking][NFC] Drop outdated TODO in canCreateUndefOrPoison (PR #139915)

via llvm-commits llvm-commits at lists.llvm.org
Wed May 14 07:49:06 PDT 2025


llvmbot wrote:


<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-llvm-analysis

Author: Cullen Rhodes (c-rhodes)

<details>
<summary>Changes</summary>

The inrange constexpr GEP case is handled since 425cbbc602c9.

---
Full diff: https://github.com/llvm/llvm-project/pull/139915.diff


1 Files Affected:

- (modified) llvm/lib/Analysis/ValueTracking.cpp (-2) 


``````````diff
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp
index 3d403531cea2f..e5203baac39b7 100644
--- a/llvm/lib/Analysis/ValueTracking.cpp
+++ b/llvm/lib/Analysis/ValueTracking.cpp
@@ -7788,8 +7788,6 @@ static bool canCreateUndefOrPoison(const Operator *Op, UndefPoisonKind Kind,
   case Instruction::FRem:
     return false;
   case Instruction::GetElementPtr:
-    // inbounds is handled above
-    // TODO: what about inrange on constexpr?
     return false;
   default: {
     const auto *CE = dyn_cast<ConstantExpr>(Op);

``````````

</details>


https://github.com/llvm/llvm-project/pull/139915


More information about the llvm-commits mailing list