[cfe-dev] Clang Static Analyzer Check

David Blaikie via cfe-dev cfe-dev at lists.llvm.org
Mon Mar 8 13:23:33 PST 2021

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

On Tue, Feb 23, 2021 at 9:49 AM Ostap Mykytiuk via cfe-dev <
cfe-dev at lists.llvm.org> wrote:

> Hi everyone!
> 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
> <https://clang.llvm.org/docs/analyzer/checkers.html#core-nulldereference-c-c-objc>),
> 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?
> Best regards,
> Ostap Mykytiuk
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20210308/e6b3322c/attachment.html>

More information about the cfe-dev mailing list