[llvm] [SCCP] Extend `visitBinaryOperator` to overflowing binary ops (PR #84470)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

Another regression: https://github.com/dtcxzyw/llvm-opt-benchmark/pull/338/files#r1518193574
Alive2: https://alive2.llvm.org/ce/z/pZwdiS

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