summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ProgramState.cpp
diff options
context:
space:
mode:
authorCsaba Dabis <dabis.csaba98@gmail.com>2019-05-29 15:36:58 +0000
committerCsaba Dabis <dabis.csaba98@gmail.com>2019-05-29 15:36:58 +0000
commit9ce37466043ee2f6ea8ed074f947c528ab0be37d (patch)
treed7235f1f764206341a6c69c333b2a3b22d2005e4 /clang/lib/StaticAnalyzer/Core/ProgramState.cpp
parentd506b0a4843f04ea5e7d36dbb595e31025b60b9a (diff)
downloadbcm5719-llvm-9ce37466043ee2f6ea8ed074f947c528ab0be37d.tar.gz
bcm5719-llvm-9ce37466043ee2f6ea8ed074f947c528ab0be37d.zip
[analyzer] print() JSONify: Environment implementation
Summary: - Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus Reviewed By: NoQ Subscribers: szepet, rnkovacs, a.sidorin, mikhail.ramalho, donat.nagy, dkrupp Tags: #clang Differential Revision: https://reviews.llvm.org/D62081 llvm-svn: 361976
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ProgramState.cpp')
-rw-r--r--clang/lib/StaticAnalyzer/Core/ProgramState.cpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ProgramState.cpp b/clang/lib/StaticAnalyzer/Core/ProgramState.cpp
index f5c7af3b1c2..911b96db2c9 100644
--- a/clang/lib/StaticAnalyzer/Core/ProgramState.cpp
+++ b/clang/lib/StaticAnalyzer/Core/ProgramState.cpp
@@ -449,7 +449,7 @@ void ProgramState::printJson(raw_ostream &Out, const LocationContext *LCtx,
Mgr.getStoreManager().printJson(Out, getStore(), NL, Space, IsDot);
// Print out the environment.
- Env.print(Out, NL, Sep, Context, LCtx);
+ Env.printJson(Out, Context, LCtx, NL, Space, IsDot);
// Print out the constraints.
Mgr.getConstraintManager().print(this, Out, NL, Sep);
@@ -458,7 +458,7 @@ void ProgramState::printJson(raw_ostream &Out, const LocationContext *LCtx,
printDynamicTypeInfo(this, Out, NL, Sep);
// Print checker-specific data.
- Mgr.getOwningEngine().printState(Out, this, NL, Sep, LCtx);
+ Mgr.getOwningEngine().printState(Out, this, LCtx, NL, Space, IsDot);
}
void ProgramState::printDOT(raw_ostream &Out, const LocationContext *LCtx,
OpenPOWER on IntegriCloud