[clang] [analyzer][NFC] Simplifications in ArrayBoundV2 (PR #67572)

[Balazs Benics via cfe-commits]

steakhal wrote:

> I'm confident that this patch is NFC, but my claim is based on theoretical reasoning (a.k.a. "I think I didn't make a mistake"). I have a background in theoretical mathematics, so for me "I have a rough a proof in my head" is intuitively stronger than "I verified it on some arbitrary input"; but you're right that this change is so complex that it deserves an experimental check. I started some analysis on open source projects and I'll give results on Monday.

Oh I see. It makes sense to me. And on second thought, it shouldn't be much of a hassle doing it anyways.
I didn't mean to challenge you to be clear.

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