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

[Balazs Benics via cfe-commits]

steakhal wrote:

I'd advise against introducing a separate file for this, but I'm okay with landing tests.
Given this issue, I'd be interested to look at how difficult it is to actually fix it and commit the case along with the fix.
Have you looked at potential solutions?

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