projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2fe0104) | patch
[analyzer] Small SMT API improvement
authorEnrico Steffinlongo <enrico.steffinlongo@gmail.com>
Sat, 13 Oct 2018 19:42:10 +0000 (19:42 +0000)
committerEnrico Steffinlongo <enrico.steffinlongo@gmail.com>
Sat, 13 Oct 2018 19:42:10 +0000 (19:42 +0000)
commita72a15a5c7ecddaeb57d737227c1dd26aabddd67
treea8fe8cdb0ea14412a6d2bf3f9de6a74fb3beaa5etree | snapshot
parent2fe010473dec3d67579b20fb4bd8d27bc063c3b4commit | diff
[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
clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTSolver.h diff | blob | history
clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp diff | blob | history
Domain: System / Toolchain;