[clang] [analyzer] Demonstrate superfluous unsigned >= 0 assumption (PR #78442)

[via cfe-commits]

NagyDonat wrote:

I didn't check for potential solutions yet, I wanted to document and report this ASAP and then switch to other tasks. I think I'll leave this commit here without merging it for some time, and if I don't end up resolving this within a month, then I'll find a place for this TC in some existing file.

https://github.com/llvm/llvm-project/pull/78442