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

[Donát Nagy via cfe-commits]

NagyDonat 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.

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