[llvm-branch-commits] [llvm] [DA] Add overflow check in ExactSIV (PR #157086)

[Ryotaro Kasuga via llvm-branch-commits]

https://github.com/kasuga-fj commented:

For now, I've added the minimal necessary checks, but it’s unclear whether similar checks are also needed elsewhere in this function. Apparently, such checks aren't necessary for GCD computation ([ref](https://en.wikipedia.org/wiki/Extended_Euclidean_algorithm#Description)).  However, I'm not sure whether they are needed in subsequent steps. It might be safer to include it for now, just in case, until we can prove it's unnecessary?

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