[DA] Fix overflow issues in test "GCD MIV"

[sjoerdmeijer]

DA is not able to determine the presence of some dependencies, which is caused by the lack of overflow handling.
DA implements different dependence tests, and this issue is about fixing test "GCD MIV".

Tests demonstrating the overflow issues and DA making incorrect decisions were committed in: #164246

Other dependence tests that need fixing up, for which we have separate issues, are: Weak-Crossing SIV, Weak-Zero SIV, Symbolic RDIV.

[kasuga-fj]

Ah, that bug has already been fixed by #164408. I'm closing this issue.