HomePhabricator

[analyzer] Small SMT API improvement

Authored by esteffin on Oct 13 2018, 12:42 PM.

Description

[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

Details

Committed
esteffinOct 13 2018, 12:42 PM
Reviewer
NoQ
Differential Revision
D52031: [analyzer] Small SMT API improvement
Parents
rG2fe010473dec: Re-commit r344234 "clang-cl: Add /showFilenames option (PR31957)"
Branches
Unknown
Tags
Unknown