diff options
| author | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-07-25 12:49:23 +0000 |
|---|---|---|
| committer | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-07-25 12:49:23 +0000 |
| commit | 635378b78316569c8ee30a971d6d2f2b950f2ec5 (patch) | |
| tree | 440759fed4d0432306a842fdbab68f76b9c800c2 /llvm/lib/CodeGen/AsmPrinter/DwarfStringPool.cpp | |
| parent | ca6983b95a674714d6c7b4131fd473542d63c8de (diff) | |
| download | llvm-635378b78316569c8ee30a971d6d2f2b950f2ec5.zip llvm-635378b78316569c8ee30a971d6d2f2b950f2ec5.tar.gz llvm-635378b78316569c8ee30a971d6d2f2b950f2ec5.tar.bz2 | |
[analyzer] Implemented SMT generic API
Summary:
Created new SMT generic API.
Small changes to `Z3ConstraintManager` because of the new generic objects (`SMTSort` and `SMTExpr`) returned by `SMTSolver`.
Reviewers: george.karpenkov, NoQ
Reviewed By: george.karpenkov
Subscribers: mgorny, xazax.hun, szepet, a.sidorin
Differential Revision: https://reviews.llvm.org/D49495
llvm-svn: 337918
Diffstat (limited to 'llvm/lib/CodeGen/AsmPrinter/DwarfStringPool.cpp')
0 files changed, 0 insertions, 0 deletions