[Bug c++/87576] Static analysis generating errors on branch never taken

[wheybags at wheybags dot com]

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

--- Comment #2 from Tom Mason <wheybags at wheybags dot com> ---
Compiling and running the file works in clang, and the asserts pass.