]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 617fd0c) | patch
Got rid of the `Z3ConstraintManager` class
authorMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Thu, 7 Feb 2019 03:18:10 +0000 (03:18 +0000)
committerMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Thu, 7 Feb 2019 03:18:10 +0000 (03:18 +0000)
commitec66ced18a10e82a9e74eaff7273c20fe14c8fc5
tree7ec649672cb48ef663a4c69db5aa2001777f2688tree | snapshot
parent617fd0c671765052789f8c1409d227fe56ee3199commit | diff
Got rid of the `Z3ConstraintManager` class

Now, instead of passing the reference to a shared_ptr, we pass the shared_ptr instead.

I've also removed the check if Z3 is present in CreateZ3ConstraintManager as this function already calls CreateZ3Solver that performs the exactly same check.

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@353371 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h diff | blob | history
lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.