[clang] [analyzer] Mention possibility of underflow in array overflow errors (PR #84201)

[Balázs Kéri via cfe-commits]

https://github.com/balazske approved this pull request.

I am not totally sure but this looks correct with the new variable names and there are some tests for the new case.

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