[clang] Fix array bound checker false negative (PR #161723)

[Rashmi Mudduluru via cfe-commits]

t-rasmud wrote:

Putting a hold on this PR for now. Thanks for your feedback @haoNoQ and @NagyDonat. I agree that the aggressive mode needs aggressive testing with real codebases and we don't have sufficient time at the moment. We plan to revisit this at a later time.

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