diff options
| author | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-07-25 12:49:37 +0000 |
|---|---|---|
| committer | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-07-25 12:49:37 +0000 |
| commit | 8628e2cd54f11a55155805e575f5378b6b231534 (patch) | |
| tree | 40430f46244b19fd958ccd5d03a6bd3af5f27c99 /llvm/lib/CodeGen/AsmPrinter/DwarfStringPool.cpp | |
| parent | c7f89ad69d78425ebcc41dbbb93f52dc7b1b5546 (diff) | |
| download | llvm-8628e2cd54f11a55155805e575f5378b6b231534.zip llvm-8628e2cd54f11a55155805e575f5378b6b231534.tar.gz llvm-8628e2cd54f11a55155805e575f5378b6b231534.tar.bz2 | |
[analyzer] Moved code from SMTConstraintManager to SMTSolver
Summary:
This is the second part of D49668, and moves all the code that's not specific to a ConstraintManager to SMTSolver.
No functional change intended.
Reviewers: NoQ, george.karpenkov
Reviewed By: george.karpenkov
Subscribers: xazax.hun, szepet, a.sidorin
Differential Revision: https://reviews.llvm.org/D49767
llvm-svn: 337921
Diffstat (limited to 'llvm/lib/CodeGen/AsmPrinter/DwarfStringPool.cpp')
0 files changed, 0 insertions, 0 deletions