https://github.com/Xazax-hun commented:
Oh, I think this might not be the false positive fix I anticipated.
I was wondering if you see false positives of this form:
```
void f(std::vector<S>& v) {
int *p = nullptr;
{
auto s = make();
p = s.get();
v.push_back(std::move(s));
}
*p = 42;
}
```
Here, the lifetime of the local `s` ended, but its storage is still alive since
it was transferred to an object inside `v`.
https://github.com/llvm/llvm-project/pull/210801
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
