[clang] [analyzer] Harden RegionStoreManager::bindArray (PR #153177)

[Donát Nagy via cfe-commits]

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

LGTM, thanks for the updates!

It's a bit unfortunate that `test3Bis` doesn't show the ideal behavior, but this commit is a clear step forward and there is no expectation to fix everything with one commit.

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