retain/release checker: More diagnostic refactoring.

llvm-svn: 63184
This commit is contained in:
Ted Kremenek 2009-01-28 06:01:42 +00:00
parent aeb115f93a
commit bdaa384453
1 changed files with 4 additions and 6 deletions

View File

@ -606,8 +606,6 @@ public:
} // end anonymous namespace } // end anonymous namespace
//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//
// Implementation of checker data structures. // Implementation of checker data structures.
//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//
@ -2343,15 +2341,15 @@ PathDiagnosticPiece* CFRefReport::VisitNode(const ExplodedNode<GRState>* N,
if (loc::FuncVal* FV = dyn_cast<loc::FuncVal>(&X)) if (loc::FuncVal* FV = dyn_cast<loc::FuncVal>(&X))
os << "Call to function '" << FV->getDecl()->getNameAsString() <<'\''; os << "Call to function '" << FV->getDecl()->getNameAsString() <<'\'';
else else
os << "function call"; os << "function call";
os << " returns an object with a ";
} }
else { else {
assert (isa<ObjCMessageExpr>(S)); assert (isa<ObjCMessageExpr>(S));
os << "Method returns an object with a "; os << "Method";
} }
os << " returns an object with a ";
if (CurrV.isOwned()) if (CurrV.isOwned())
os << "+1 retain count (owning reference)."; os << "+1 retain count (owning reference).";
else { else {