Page MenuHomePhabricator
Differential D59796

New methods to check for under-/overflow in the SMT API
ClosedPublic
Actions

Authored by mikhail.ramalho on Mar 25 2019, 1:12 PM.

Details

Reviewers
ddcc
gou4shi1
Commits
rGf5f8d27d3912: New methods to check for under-/overflow in the SMT API
rL357088: 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.

Diff Detail

Repository
rL LLVM

Event Timeline

Herald added a project: Restricted Project. · View Herald TranscriptMar 25 2019, 1:12 PM
Herald added subscribers: llvm-commits, hiraditya. · View Herald Transcript
ddcc accepted this revision.Mar 25 2019, 9:24 PM
This revision is now accepted and ready to land.Mar 25 2019, 9:24 PM
gou4shi1 accepted this revision.Mar 25 2019, 9:32 PM

It works, thx.

Closed by commit rL357088: New methods to check for under-/overflow in the SMT API (authored by mramalho, committed by ). · Explain WhyMar 27 2019, 9:55 AM
This revision was automatically updated to reflect the committed changes.

Revision Contents
Changeset List

Diff 192463

View Options

llvm/trunk/include/llvm/Support/SMTAPI.h

Loading...
View Options

llvm/trunk/lib/Support/Z3Solver.cpp

Loading...