Have you looked at the `consumed` analysis to see how much of that applies/could be applied to std::optional? It was designed mostly for std::unique_ptr, but optional has almost/basically the same sort of semantics.
On Tue, Feb 23, 2021 at 9:49 AM Ostap Mykytiuk via cfe-dev <[hidden email]> wrote:
My name is Ostap, I'm undergraduate and I would like to write a check for Static Analyzer as part of my coursework.
Since C++17 std::optional was introduced. There are already a lot of checks for pointers (like core.NullDereference), but any checks for std::optional are not present yet.
Are you interested in this kind of patch or is there something like this in progress?