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

[Yingwei Zheng via llvm-commits]

https://github.com/dtcxzyw approved this pull request.

LGTM.
BTW, would you like to fix the regression https://github.com/dtcxzyw/llvm-opt-benchmark/pull/338#discussion_r1518151927?
Alive2: https://alive2.llvm.org/ce/z/H2u9si

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