retain/release checker: Indicate whether a tracked object is a Core Foundation or Objective-C object.

llvm-svn: 63186
This commit is contained in:
Ted Kremenek 2009-01-28 06:06:36 +00:00
parent e1d49c2572
commit f0ec316a04
1 changed files with 7 additions and 1 deletions

View File

@ -2348,7 +2348,13 @@ PathDiagnosticPiece* CFRefReport::VisitNode(const ExplodedNode<GRState>* N,
os << "Method"; os << "Method";
} }
os << " returns an object with a "; if (CurrV.getObjKind() == RetEffect::CF) {
os << " returns a Core Foundation object with a ";
}
else {
assert (CurrV.getObjKind() == RetEffect::ObjC);
os << " returns an Objective-C object with a ";
}
if (CurrV.isOwned()) if (CurrV.isOwned())
os << "+1 retain count (owning reference)."; os << "+1 retain count (owning reference).";