'[NSAutoreleasePool addObject:]' has an 'autorelease' effect, not a DoNothing effect.

llvm-svn: 65301
This commit is contained in:
Ted Kremenek 2009-02-23 02:31:16 +00:00
parent 77170dcb14
commit 7d4fc5bcdc
1 changed files with 2 additions and 2 deletions

View File

@ -829,7 +829,7 @@ RetainSummary* RetainSummaryManager::getSummary(FunctionDecl* FD) {
break; break;
} }
// [PR 3337] Use 'getDesugaredType' to strip away any typedefs on the // [PR 3337]q Use 'getDesugaredType' to strip away any typedefs on the
// function's type. // function's type.
FunctionType* FT = cast<FunctionType>(FD->getType()->getDesugaredType()); FunctionType* FT = cast<FunctionType>(FD->getType()->getDesugaredType());
const char* FName = FD->getIdentifier()->getName(); const char* FName = FD->getIdentifier()->getName();
@ -1088,7 +1088,7 @@ void RetainSummaryManager::InitializeClassMethodSummaries() {
addClsMethSummary(&Ctx.Idents.get("NSAutoreleasePool"), addClsMethSummary(&Ctx.Idents.get("NSAutoreleasePool"),
GetUnarySelector("addObject", Ctx), GetUnarySelector("addObject", Ctx),
getPersistentSummary(RetEffect::MakeNoRet(), getPersistentSummary(RetEffect::MakeNoRet(),
DoNothing, DoNothing)); DoNothing, Autorelease));
} }
void RetainSummaryManager::InitializeMethodSummaries() { void RetainSummaryManager::InitializeMethodSummaries() {