[cfe-dev] Clang Static Analyzer Check

[David Blaikie via cfe-dev]

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 <
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>