Issue 175893
Summary [LifetimeSafety] False-negative for dangling std::optional temporary
Labels false-negative, clang:temporal-safety
Assignees
Reporter usx95
    ```cpp
#include <optional>
#include <vector>

const int& VectorTemp() {
    return std::vector<int>().at(0);  // Error. Good.
}

const int& OptionalTemp() {
    return std::optional<int>().value();  // No error. Bad.
}

const int& OptionalLocal() {
    auto local = std::optional<int>();
    return local.value();  // Error. Good.
}
```
https://godbolt.org/z/s18e48K1f
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to