[llvm] Add clang::lifetimebound annotation to ArrayRef constructors. (PR #113547)

Haojian Wu via llvm-commits llvm-commits at lists.llvm.org
Thu Oct 24 08:25:04 PDT 2024


================
@@ -113,7 +115,8 @@ namespace llvm {
 #pragma GCC diagnostic push
 #pragma GCC diagnostic ignored "-Winit-list-lifetime"
 #endif
-    constexpr /*implicit*/ ArrayRef(const std::initializer_list<T> &Vec)
+    constexpr /*implicit*/ ArrayRef(
+        const std::initializer_list<T> &Vec LLVM_LIFETIME_BOUND)
----------------
hokein wrote:

We have a tricky case with an empty initializer_list:

```
ArrayRef<int> ref({}); 
```

clang still diagnoses it as dangling reference, but the code doesn't have any dangling references. I think it is ok, this is similar to `make_unique<pointer>(nullptr).get()` case (https://github.com/llvm/llvm-project/issues/97471).

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


More information about the llvm-commits mailing list