diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2018-02-08 22:32:38 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2018-02-08 22:32:38 +0000 |
| commit | af84ce162c0486039c6ef6ef5e0275a3d48e65ae (patch) | |
| tree | c954238dd3c442175983240e867e050f3028b425 /clang/lib/StaticAnalyzer/Core/ProgramState.cpp | |
| parent | 9e030c9e0010b423e877d7a7c8ef3742b16a079f (diff) | |
| download | bcm5719-llvm-af84ce162c0486039c6ef6ef5e0275a3d48e65ae.tar.gz bcm5719-llvm-af84ce162c0486039c6ef6ef5e0275a3d48e65ae.zip | |
[analyzer] Self-debug: Dump the core's internal state traits to the egraph.
It is useful for debugging problems with C++ operator new() or temporaries.
Differential Revision: https://reviews.llvm.org/D42560
llvm-svn: 324663
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ProgramState.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/ProgramState.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ProgramState.cpp b/clang/lib/StaticAnalyzer/Core/ProgramState.cpp index 53646e295ef..eccbc30bbe5 100644 --- a/clang/lib/StaticAnalyzer/Core/ProgramState.cpp +++ b/clang/lib/StaticAnalyzer/Core/ProgramState.cpp @@ -450,7 +450,7 @@ void ProgramState::print(raw_ostream &Out, const char *NL, const char *Sep, Mgr.getConstraintManager().print(this, Out, NL, Sep); // Print checker-specific data. - Mgr.getOwningEngine()->printState(Out, this, NL, Sep); + Mgr.getOwningEngine()->printState(Out, this, NL, Sep, LC); } void ProgramState::printDOT(raw_ostream &Out, const LocationContext *LC) const { |
