]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 610fb25) | 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)
commit8693e0ee6a25277d61bd482455d74a5089ea2add
tree0625e7dd6103ed812f16077f1ba8723321e4b444tree | snapshot
parent610fb254ef34278e0398c4d53dd4a440ebb486bccommit | 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

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