|
Revision tags: llvmorg-18.1.8, llvmorg-18.1.7, llvmorg-18.1.6, llvmorg-18.1.5, llvmorg-18.1.4, llvmorg-18.1.3, llvmorg-18.1.2, llvmorg-18.1.1, llvmorg-18.1.0, llvmorg-18.1.0-rc4, llvmorg-18.1.0-rc3, llvmorg-18.1.0-rc2, llvmorg-18.1.0-rc1, llvmorg-19-init, llvmorg-17.0.6, llvmorg-17.0.5, llvmorg-17.0.4, llvmorg-17.0.3, llvmorg-17.0.2, llvmorg-17.0.1, llvmorg-17.0.0 |
|
| #
821c332b |
| 10-Sep-2023 |
Yingwei Zheng <dtcxzyw2333@gmail.com> |
[ConstraintElim] Add missing checks in test_overflow_in_negate_constraint (#65841)
This patch adds missing checks in the function
`test_overflow_in_negate_constraint`.
Related commit: 0a0181dc2061
[ConstraintElim] Add missing checks in test_overflow_in_negate_constraint (#65841)
This patch adds missing checks in the function
`test_overflow_in_negate_constraint`.
Related commit: 0a0181dc2061fc60b309f231a5b2f6251046c552
show more ...
|
|
Revision tags: llvmorg-17.0.0-rc4, llvmorg-17.0.0-rc3, llvmorg-17.0.0-rc2, llvmorg-17.0.0-rc1, llvmorg-18-init, llvmorg-16.0.6, llvmorg-16.0.5, llvmorg-16.0.4, llvmorg-16.0.3 |
|
| #
0a0181dc |
| 21-Apr-2023 |
Florian Hahn <flo@fhahn.com> |
[ConstraintElim] Fix integer overflow in ConstraintSystem::negate.
This fixes another integer overflow that was exposed by a variant of the
test case from #62226.
|
| #
626f6ee7 |
| 20-Apr-2023 |
Florian Hahn <flo@fhahn.com> |
[ConstraintElim] Fix integer overflow in getConstraint.
Use SubOverflow to avoid signed integer overflow when combining
coefficients.
Fixes #62226.
|