[llvm] Skip negative length while inferring initializes attr (PR #120874)

[Nikita Popov via llvm-commits]

================
@@ -633,10 +633,13 @@ ArgumentAccessInfo getArgmentAccessInfo(const Instruction *I,
       [](Value *Length,
          std::optional<int64_t> Offset) -> std::optional<ConstantRange> {
     auto *ConstantLength = dyn_cast<ConstantInt>(Length);
-    if (ConstantLength && Offset)
+    if (ConstantLength && Offset) {
----------------
nikic wrote:

Include in the if condition?
```suggestion
    if (ConstantLength && Offset && ConstantLength->isNonNegative()) {
```

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