maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[analyzer] print() JSONify: CFG implementation 

Summary: -

Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus

Reviewed By: NoQ

Subscribers: cfe-commits, szepet, rnkovacs, a.sidorin, mikhail.ramalho,
             donat.nagy, dkrupp

Tags: #clang

Differential Revision: https://reviews.llvm.org/D62496

llvm-svn: 362003
This commit is contained in:
Csaba Dabis 2019-05-29 18:29:31 +00:00
parent 02be650617
commit dea605e090
3 changed files with 26 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
clang/include/clang/Analysis/CFG.h
View File

@ -882,7 +882,11 @@ public:
void dump(const CFG *cfg, const LangOptions &LO, bool ShowColors = false) const;
void print(raw_ostream &OS, const CFG* cfg, const LangOptions &LO,
bool ShowColors) const;
void printTerminator(raw_ostream &OS, const LangOptions &LO) const;
void printTerminatorJson(raw_ostream &Out, const LangOptions &LO,
bool AddQuotes) const;
void printAsOperand(raw_ostream &OS, bool /*PrintType*/) {
OS << "BB#" << getBlockID();
}

14
clang/lib/Analysis/CFG.cpp
View File

@ -27,10 +27,11 @@
#include "clang/AST/StmtObjC.h"
#include "clang/AST/StmtVisitor.h"
#include "clang/AST/Type.h"
#include "clang/Analysis/Support/BumpVector.h"
#include "clang/Analysis/ConstructionContext.h"
#include "clang/Analysis/Support/BumpVector.h"
#include "clang/Basic/Builtins.h"
#include "clang/Basic/ExceptionSpecificationType.h"
#include "clang/Basic/JsonSupport.h"
#include "clang/Basic/LLVM.h"
#include "clang/Basic/LangOptions.h"
#include "clang/Basic/SourceLocation.h"
@ -5561,6 +5562,17 @@ void CFGBlock::printTerminator(raw_ostream &OS,
TPrinter.print(getTerminator());
}
/// printTerminatorJson - Pretty-prints the terminator in JSON format.
void CFGBlock::printTerminatorJson(raw_ostream &Out, const LangOptions &LO,
bool AddQuotes) const {
std::string Buf;
llvm::raw_string_ostream TempOut(Buf);
printTerminator(TempOut, LO);
Out << JsonFormat(TempOut.str(), AddQuotes);
}
Stmt *CFGBlock::getTerminatorCondition(bool StripParens) {
Stmt *Terminator = getTerminatorStmt();
if (!Terminator)

15
clang/lib/Analysis/ProgramPoint.cpp
View File

@ -149,13 +149,16 @@ void ProgramPoint::printJson(llvm::raw_ostream &Out, const char *NL) const {
const BlockEdge &E = castAs<BlockEdge>();
const Stmt *T = E.getSrc()->getTerminatorStmt();
Out << "Edge\", \"src_id\": " << E.getSrc()->getBlockID()
<< ", \"dst_id\": " << E.getDst()->getBlockID()
<< ", \"terminator\": " << (!T ? "null, \"term_kind\": null" : "\"");
if (!T)
break;
<< ", \"dst_id\": " << E.getDst()->getBlockID() << ", \"terminator\": ";
E.getSrc()->printTerminator(Out, Context.getLangOpts());
Out << "\", ";
if (!T) {
Out << "null, \"term_kind\": null";
break;
}
E.getSrc()->printTerminatorJson(Out, Context.getLangOpts(),
/*AddQuotes=*/true);
Out << ", ";
printLocJson(Out, T->getBeginLoc(), SM);
Out << ", \"term_kind\": \"";