commit | cb02b1efe0168fb21fc7a0e64d5d3c69c7d67db6 | [log] [tgz] |
---|---|---|
author | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | Wed Mar 27 16:54:12 2019 +0000 |
committer | Copybara-Service <copybara-worker@google.com> | Sat Oct 17 21:29:40 2020 -0700 |
tree | 1223439e810f905dd0fd81cab8980b4008131417 | |
parent | 85e9e7231b526bd09b6e681e3b76839612862868 [diff] |
New methods to check for under-/overflow in the SMT API Summary: Added methods to check for under-/overflow in additions, subtractions, signed divisions/modulus, negations, and multiplications. Reviewers: ddcc, gou4shi1 Reviewed By: ddcc, gou4shi1 Subscribers: hiraditya, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D59796 llvm-svn: 357088 GitOrigin-RevId: f5f8d27d39126a4aa893fb32d7e5952cd8ca504b