[Bug analyzer/101962] Analyzer NULL false positive with pointer manipulation

[dmalcolm at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Should be fixed on trunk for gcc 12 by the above commit.

I plan to backport this to gcc 11; keeping it open until that's done.