projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b193612) | patch
New methods to check for under-/overflow in the SMT API
authorMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Wed, 27 Mar 2019 16:54:12 +0000 (16:54 +0000)
committerMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Wed, 27 Mar 2019 16:54:12 +0000 (16:54 +0000)
commitf5f8d27d39126a4aa893fb32d7e5952cd8ca504b
treea25ada8956b11d51c4e4702ed871737dc42bb534tree | snapshot
parentb19361243bf398ff3d4c6c94c431904cb98ce94fcommit | 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
llvm/include/llvm/Support/SMTAPI.h diff | blob | history
llvm/lib/Support/Z3Solver.cpp diff | blob | history
Domain: System / Toolchain;