[Bug analyzer/98830] -Wanalyzer-null-argument on static_cast and inheritance

[dmalcolm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98830

--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
I looked at your examples in bug 98646, and the analyzer seems to me to be
working correctly.

Specifically:

Analyzer correctly doesn't warn for:
  https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98646#c5

Analyzer correctly
* doesn't warn for 1st example and
* does warn for 2nd example in:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98646#c10

Analyzer correctly issues two warnings for:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98646#c12