[llvm] Bug fixes for Array Dependence Analysis (PR #116389)

[Sjoerd Meijer via llvm-commits]

sjoerdmeijer wrote:

> The patches do not depend on each other and can be submitted as separate PRs. The first 2 patches modify the same code. Separate PRs would need to be updated following which PR gets merged first. Let me know if I need to split into multiple PRs.

Yeah, I think we want to review and submit them separately, not squash them all together, so multiple PRs.

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