llvm-project
be94bfd6 - [DA] Stop negating Delta in the Weak Zero SIV test (#188212)

Commit
31 days ago
[DA] Stop negating Delta in the Weak Zero SIV test (#188212) This patch removes the variable `NewDelta`, which was calculated as the negation of `Delta`, along with its uses. `NewDelta` is now referenced in only one place, and that code is effectively dead because more general analysis with ConstantRange is performed at an earlier stage. Also the test using `NewDelta` is not correct when `Delta` is a signed minimum value, as negating it yields the same value as original. This patch also fixes the correctness issue in such a situation.
Author
Parents
Loading