diff options
| author | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2019-02-07 03:18:10 +0000 |
|---|---|---|
| committer | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2019-02-07 03:18:10 +0000 |
| commit | c1f8cad1911096c2864131bf038c5b6bf2d4ad4c (patch) | |
| tree | afe97f6e50f8f12d804616d9b96430af4b5b8c73 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | c9cd50726364e47cb8a84b9714d52d7a0842e550 (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
llvm-svn: 353371
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions