[clang] [analyzer] Improve handling of &array[size] in ArrayBound (PR #214540)

[Balázs Benics via cfe-commits]

steakhal wrote:

> > claude told me about an allegedly interesting case for this PR, but I'll leave it here.
> 
> Yes, I knew about this and described this change of behavior in the commit message.
> 
> I vacillated between adding or not adding this to the tests – I can easily add this if you prefer.

No, I'm fine with how it looks. Land it.

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