projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b4a7546) | patch
[analyzer] Delete SMTContext. NFC.
authorMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Thu, 23 Aug 2018 13:20:18 +0000 (13:20 +0000)
committerMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Thu, 23 Aug 2018 13:20:18 +0000 (13:20 +0000)
commit2420ee9b91511c8abf9ae232a0b2beddd9e569fb
tree1f714f6c925c67e663d7cef5fa706ced1be42b54tree | snapshot
parentb4a7546c5cb83b09a139855061d95ee223877816commit | diff
[analyzer] Delete SMTContext. NFC.

Summary: There is no reason to have a base class for a context anymore as each SMT object carries a reference to the specific solver context.

Reviewers: NoQ, george.karpenkov, hiraditya

Reviewed By: hiraditya

Subscribers: hiraditya, xazax.hun, szepet, a.sidorin, Szelethus

Differential Revision: https://reviews.llvm.org/D50768

llvm-svn: 340532
clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTContext.h [deleted file] blob | history
clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp diff | blob | history
Domain: System / Toolchain;