<div dir="ltr">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.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Feb 23, 2021 at 9:49 AM Ostap Mykytiuk via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org">cfe-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto"><div dir="ltr">Hi everyone!<div><br></div><div>My name is Ostap, I'm undergraduate and I would like to write a check for Static Analyzer as part of my coursework.</div><div><br></div><div>Since C++17 <font face="monospace">std::optional</font> was introduced. There are already a lot of checks for pointers (like <a href="https://clang.llvm.org/docs/analyzer/checkers.html#core-nulldereference-c-c-objc" rel="noreferrer noreferrer noreferrer" target="_blank">core.NullDereference</a>), but any checks for <font face="monospace">std::optional</font> are not present yet.<br><br>Are you interested in this kind of patch or is there something like this in progress?<br><br>Best regards,<br>Ostap Mykytiuk</div></div></div>
_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a><br>
</blockquote></div>