Clang Static Analyzer Check

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

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.