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

[analyzer] Fix the debug print about debug egraph dumps requiring asserts. 

There's no need to remind people about that when clang *is* built with asserts.

Differential Revision: https://reviews.llvm.org/D86334
This commit is contained in:
Yang Fan 2020-08-27 11:45:12 -07:00 committed by Artem Dergachev
parent 4448affede
commit 37c21dbb3a
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -3154,8 +3154,9 @@ void ExprEngine::ViewGraph(bool trim) {
#ifndef NDEBUG
std::string Filename = DumpGraph(trim);
llvm::DisplayGraph(Filename, false, llvm::GraphProgram::DOT);
#endif
#else
llvm::errs() << "Warning: viewing graph requires assertions" << "\n";
#endif
}
@ -3163,8 +3164,9 @@ void ExprEngine::ViewGraph(ArrayRef<const ExplodedNode*> Nodes) {
#ifndef NDEBUG
std::string Filename = DumpGraph(Nodes);
llvm::DisplayGraph(Filename, false, llvm::GraphProgram::DOT);
#endif
#else
llvm::errs() << "Warning: viewing graph requires assertions" << "\n";
#endif
}
std::string ExprEngine::DumpGraph(bool trim, StringRef Filename) {
@ -3201,15 +3203,17 @@ std::string ExprEngine::DumpGraph(ArrayRef<const ExplodedNode*> Nodes,
if (!TrimmedG.get()) {
llvm::errs() << "warning: Trimmed ExplodedGraph is empty.\n";
return "";
} else {
return llvm::WriteGraph(TrimmedG.get(), "TrimmedExprEngine",
/*ShortNames=*/false,
/*Title=*/"Trimmed Exploded Graph",
/*Filename=*/std::string(Filename));
}
#endif
#else
llvm::errs() << "Warning: dumping graph requires assertions" << "\n";
return "";
#endif
}
void *ProgramStateTrait<ReplayWithoutInlining>::GDMIndex() {