[PATCH] D59796: New methods to check for under-/overflow in the SMT API

[Mikhail Ramalho via Phabricator via llvm-commits]

mikhail.ramalho created this revision.
mikhail.ramalho added reviewers: ddcc, gou4shi1.
Herald added subscribers: llvm-commits, hiraditya.
Herald added a project: LLVM.

Added methods to check for under-/overflow in additions, subtractions, signed divisions/modulus, negations, and multiplications.


https://reviews.llvm.org/D59796

Files:
  llvm/include/llvm/Support/SMTAPI.h
  llvm/lib/Support/Z3Solver.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D59796.192190.patch
Type: text/x-patch
Size: 6072 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190325/b2d1b18a/attachment.bin>