diff options
| author | Csaba Dabis <dabis.csaba98@gmail.com> | 2019-05-29 18:38:52 +0000 |
|---|---|---|
| committer | Csaba Dabis <dabis.csaba98@gmail.com> | 2019-05-29 18:38:52 +0000 |
| commit | 8a88d6aaaa7e2a56a3df5dffb795d305361ee9b9 (patch) | |
| tree | 71fe9cdc0c2d6f21167122c311f3df0236732765 /clang/lib/StaticAnalyzer/Core | |
| parent | 96c500aab4f6ce8c10b26e1b2a45db21cfcd07b8 (diff) | |
| download | bcm5719-llvm-8a88d6aaaa7e2a56a3df5dffb795d305361ee9b9.tar.gz bcm5719-llvm-8a88d6aaaa7e2a56a3df5dffb795d305361ee9b9.zip | |
[analyzer] print() JSONify: SVal implementation
Summary: -
Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus
Reviewed By: NoQ
Subscribers: cfe-commits, szepet, rnkovacs, a.sidorin, mikhail.ramalho,
Szelethus, donat.nagy, dkrupp
Tags: #clang
Differential Revision: https://reviews.llvm.org/D62497
llvm-svn: 362008
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/Environment.cpp | 6 | ||||
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/SVals.cpp | 10 |
2 files changed, 14 insertions, 2 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/Environment.cpp b/clang/lib/StaticAnalyzer/Core/Environment.cpp index 3ebb66c6af1..94cc4d6dbb2 100644 --- a/clang/lib/StaticAnalyzer/Core/Environment.cpp +++ b/clang/lib/StaticAnalyzer/Core/Environment.cpp @@ -263,10 +263,12 @@ void Environment::printJson(raw_ostream &Out, const ASTContext &Ctx, Indent(Out, InnerSpace, IsDot) << "{ \"lctx_id\": " << LC->getID() << ", \"stmt_id\": " << S->getID(Ctx) << ", \"pretty\": "; - S->printJson(Out, nullptr, PP, /*AddQuotes=*/true); - Out << ", \"value\": \"" << I->second << "\" }"; + Out << ", \"value\": "; + I->second.printJson(Out, /*AddQuotes=*/true); + + Out << " }"; if (I != LastI) Out << ','; diff --git a/clang/lib/StaticAnalyzer/Core/SVals.cpp b/clang/lib/StaticAnalyzer/Core/SVals.cpp index b3c83e7792d..9b5de6c3eb9 100644 --- a/clang/lib/StaticAnalyzer/Core/SVals.cpp +++ b/clang/lib/StaticAnalyzer/Core/SVals.cpp @@ -16,6 +16,7 @@ #include "clang/AST/DeclCXX.h" #include "clang/AST/Expr.h" #include "clang/AST/Type.h" +#include "clang/Basic/JsonSupport.h" #include "clang/Basic/LLVM.h" #include "clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h" #include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h" @@ -283,6 +284,15 @@ SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals, LLVM_DUMP_METHOD void SVal::dump() const { dumpToStream(llvm::errs()); } +void SVal::printJson(raw_ostream &Out, bool AddQuotes) const { + std::string Buf; + llvm::raw_string_ostream TempOut(Buf); + + dumpToStream(TempOut); + + Out << JsonFormat(TempOut.str(), AddQuotes); +} + void SVal::dumpToStream(raw_ostream &os) const { switch (getBaseKind()) { case UnknownValKind: |
