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

[analyzer] Use correct end-of-line character when printing statements for exploded graph 

Prevents bad centering.

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

llvm-svn: 342312
This commit is contained in:
George Karpenkov 2018-09-15 02:02:56 +00:00
parent 64885ae9c0
commit 141b448ee9
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
View File

@ -3071,12 +3071,14 @@ struct DOTGraphTraits<ExplodedNode*> : public DefaultDOTGraphTraits {
if (const auto *C = dyn_cast<CaseStmt>(Label)) { if (const auto *C = dyn_cast<CaseStmt>(Label)) {
Out << "\\lcase "; Out << "\\lcase ";
if (C->getLHS()) if (C->getLHS())
C->getLHS()->printPretty(Out, nullptr, C->getLHS()->printPretty(
Context.getPrintingPolicy()); Out, nullptr, Context.getPrintingPolicy(),
/*Indentation=*/0, /*NewlineSymbol=*/"\\l");
if (const Stmt *RHS = C->getRHS()) { if (const Stmt *RHS = C->getRHS()) {
Out << " .. "; Out << " .. ";
RHS->printPretty(Out, nullptr, Context.getPrintingPolicy()); RHS->printPretty(Out, nullptr, Context.getPrintingPolicy(),
/*Indetation=*/0, /*NewlineSymbol=*/"\\l");
} }
Out << ":"; Out << ":";
@ -3108,7 +3110,8 @@ struct DOTGraphTraits<ExplodedNode*> : public DefaultDOTGraphTraits {
Out << S->getStmtClassName() << ' ' Out << S->getStmtClassName() << ' '
<< S->getID(Context) << " (" << (const void *)S << ") "; << S->getID(Context) << " (" << (const void *)S << ") ";
S->printPretty(Out, nullptr, Context.getPrintingPolicy()); S->printPretty(Out, /*helper=*/nullptr, Context.getPrintingPolicy(),
/*Indentation=*/2, /*NewlineSymbol=*/"\\l");
printLocation(Out, S->getBeginLoc()); printLocation(Out, S->getBeginLoc());
if (Loc.getAs<PreStmt>()) if (Loc.getAs<PreStmt>())