diff options
| author | Dominic Chen <d.c.ddcc@gmail.com> | 2016-12-05 20:30:11 +0000 |
|---|---|---|
| committer | Dominic Chen <d.c.ddcc@gmail.com> | 2016-12-05 20:30:11 +0000 |
| commit | 0dd2306538e48c69bb41d2e3f81f25acedb18af6 (patch) | |
| tree | 1c8e12861cf60d889e7abf66c95593aac8ad5ea8 | |
| parent | 7bee6ac798f2c547753dd867e130ec587f201483 (diff) | |
| download | bcm5719-llvm-0dd2306538e48c69bb41d2e3f81f25acedb18af6.tar.gz bcm5719-llvm-0dd2306538e48c69bb41d2e3f81f25acedb18af6.zip | |
[analyzer] Print type for SymbolRegionValues when dumping to stream
Reviewers: NoQ, dcoughlin, zaks.anna
Subscribers: cfe-commits
Differential Revision: https://reviews.llvm.org/D27365
llvm-svn: 288696
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/SymbolManager.cpp | 3 | ||||
| -rw-r--r-- | clang/test/Analysis/expr-inspection.c | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/SymbolManager.cpp b/clang/lib/StaticAnalyzer/Core/SymbolManager.cpp index 6b99ca510be..4be85661b64 100644 --- a/clang/lib/StaticAnalyzer/Core/SymbolManager.cpp +++ b/clang/lib/StaticAnalyzer/Core/SymbolManager.cpp @@ -85,7 +85,8 @@ void SymbolMetadata::dumpToStream(raw_ostream &os) const { void SymbolData::anchor() { } void SymbolRegionValue::dumpToStream(raw_ostream &os) const { - os << "reg_$" << getSymbolID() << "<" << R << ">"; + os << "reg_$" << getSymbolID() + << '<' << getType().getAsString() << ' ' << R << '>'; } bool SymExpr::symbol_iterator::operator==(const symbol_iterator &X) const { diff --git a/clang/test/Analysis/expr-inspection.c b/clang/test/Analysis/expr-inspection.c index 14e12eca190..69e18cb1e68 100644 --- a/clang/test/Analysis/expr-inspection.c +++ b/clang/test/Analysis/expr-inspection.c @@ -7,7 +7,7 @@ void clang_analyzer_printState(); void clang_analyzer_numTimesReached(); void foo(int x) { - clang_analyzer_dump(x); // expected-warning{{reg_$0<x>}} + clang_analyzer_dump(x); // expected-warning{{reg_$0<int x>}} int y = 1; clang_analyzer_printState(); for (; y < 3; ++y) |
