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

[via cfe-commits]

NagyDonat wrote:

I don't know what's the usual policy for testcases like this that demonstrate a bug: we could merge it to have an in-repository reminder (which automatically alerts us when a change fixes this issue), or we could leave it as an open pull request to avoid cluttering the repository.

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