[llvm] [DA] Rewrite BanerjeeMIV test with safe APInt interval arithmetic (PR #207662)

[Ehsan Amiri via llvm-commits]

amehsan wrote:

> [#207662 (comment)](https://github.com/llvm/llvm-project/pull/207662#discussion_r3541720400) @amehsan Do you mean this?

yes, the example in the link in that comment.

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