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

mikhail.ramalho created this revision.Mar 25 2019, 1:12 PM

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

It works, thx.

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

This revision was automatically updated to reflect the committed changes.

Herald added a subscriber: kristina. · View Herald TranscriptMar 27 2019, 9:55 AM

Revision Contents
Changeset List

Path

Size

llvm/

trunk/

include/

llvm/

Support/

SMTAPI.h

42 lines

lib/

Support/

Z3Solver.cpp

70 lines

Diff 192463

View Options

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