diff options
| author | Enrico Steffinlongo <enrico.steffinlongo@gmail.com> | 2018-10-13 19:42:10 +0000 |
|---|---|---|
| committer | Enrico Steffinlongo <enrico.steffinlongo@gmail.com> | 2018-10-13 19:42:10 +0000 |
| commit | a72a15a5c7ecddaeb57d737227c1dd26aabddd67 (patch) | |
| tree | a8fe8cdb0ea14412a6d2bf3f9de6a74fb3beaa5e /clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp | |
| parent | 2fe010473dec3d67579b20fb4bd8d27bc063c3b4 (diff) | |
| download | bcm5719-llvm-a72a15a5c7ecddaeb57d737227c1dd26aabddd67.tar.gz bcm5719-llvm-a72a15a5c7ecddaeb57d737227c1dd26aabddd67.zip | |
[analyzer] Small SMT API improvement
Summary: Removed const qualifier from reset method of SMTSolver and Z3Solver objects.
Reviewers: mikhail.ramalho, george.karpenkov, NoQ, ddcc
Reviewed By: NoQ
Subscribers: xazax.hun, szepet, a.sidorin, Szelethus
Differential Revision: https://reviews.llvm.org/D52031
llvm-svn: 344463
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp b/clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp index f1938057b83..11e758a47b7 100644 --- a/clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp +++ b/clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp @@ -859,7 +859,7 @@ public: } /// Reset the solver and remove all constraints. - void reset() const override { Z3_solver_reset(Context.Context, Solver); } + void reset() override { Z3_solver_reset(Context.Context, Solver); } void print(raw_ostream &OS) const override { OS << Z3_solver_to_string(Context.Context, Solver); |
