[analyzer] Print type for SymbolRegionValues when dumping to stream

[NoQ]

Thanks, i love dumps! Btw, did you encounter cases when types are unobvious from the parent region?

lib/StaticAnalyzer/Core/SymbolManager.cpp

89 ↗

(On Diff #80135)

The rest of the code uses single-quotes for single characters, even though it's not really important here.

[ddcc]

Yeah, I had to implement implicit type promotion and conversion, because Z3 checks expression types pretty strictly.

[ddcc]

Use single quotes

[ddcc]

Fix rebase

cfe/trunk/lib/StaticAnalyzer/Core/SymbolManager.cpp

 void SymbolMetadata::dumpToStream(raw_ostream &os) const {
   os << "meta_$" << getSymbolID() << '{'
      << getRegion() << ',' << T.getAsString() << '}';
 }
 
 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 {
   return itr == X.itr;
 }
 
 bool SymExpr::symbol_iterator::operator!=(const symbol_iterator &X) const {
   return itr != X.itr;

cfe/trunk/test/Analysis/expr-inspection.c

 // RUN: %clang_cc1 -analyze -analyzer-checker=debug.ExprInspection -verify %s 2>&1 | FileCheck %s
 
 // Self-tests for the debug.ExprInspection checker.
 
 void clang_analyzer_dump(int x);
 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)
     clang_analyzer_numTimesReached(); // expected-warning{{2}}
 }
 
 // CHECK: Store (direct and default bindings)
 // CHECK-NEXT: (y,0,direct) : 1 S32b
 
 // CHECK: Expressions:
 // CHECK-NEXT: clang_analyzer_printState : &code{clang_analyzer_printState}
 // CHECK-NEXT: Ranges are empty.