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

[Sebastian Pop via llvm-commits]

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

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