diff options
| author | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-08-23 13:21:31 +0000 |
|---|---|---|
| committer | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-08-23 13:21:31 +0000 |
| commit | 766a189dfddd4fb6e46aab9454331783d03b063a (patch) | |
| tree | 7af7a28242d4ae7be502cc04eb2f0bbe58fa0ab0 /lldb/packages/Python/lldbsuite/support/gmodules.py | |
| parent | b0670d349c91aff312cf32a4c68ddc23d8031197 (diff) | |
| download | bcm5719-llvm-766a189dfddd4fb6e46aab9454331783d03b063a.tar.gz bcm5719-llvm-766a189dfddd4fb6e46aab9454331783d03b063a.zip | |
[analyzer] Moved all CSA code from the SMT API to a new header, `SMTConv.h`. NFC.
Summary:
With this patch, the SMT backend is almost completely detached from the CSA.
Unfortunate consequence is that we missed the `ConditionTruthVal` from the CSA and had to use `Optional<bool>`.
The Z3 solver implementation is still in the same file as the `Z3ConstraintManager`, in `lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp` though, but except for that, the SMT API can be moved to anywhere in the codebase.
Reviewers: NoQ, george.karpenkov
Reviewed By: george.karpenkov
Subscribers: xazax.hun, szepet, a.sidorin, Szelethus
Differential Revision: https://reviews.llvm.org/D50772
llvm-svn: 340534
Diffstat (limited to 'lldb/packages/Python/lldbsuite/support/gmodules.py')
0 files changed, 0 insertions, 0 deletions
