OSchip
/
llvm-project
mirror of https://github.com/THU-DSP-LAB/llvm-project.git
13
0
Fork 6
Code Issues Packages Projects Releases Wiki Activity

initXXX methods can return owned objects 

llvm-svn: 58758
This commit is contained in:
Ted Kremenek 2008-11-05 16:54:44 +00:00
parent cfd8ddc6de
commit 2855a93f07
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
clang/lib/Analysis/CFRefCount.cpp
View File

@ -59,6 +59,11 @@ static bool followsFundamentalRule(const char* s) {
CStrInCStrNoCase(s, "new") == s || CStrInCStrNoCase(s, "alloc") == s; CStrInCStrNoCase(s, "new") == s || CStrInCStrNoCase(s, "alloc") == s;
} }
static bool followsReturnRule(const char* s) {
while (*s == '_') ++s;
return followsFundamentalRule(s) || CStrInCStrNoCase(s, "init") == s;
}
//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//
// Selector creation functions. // Selector creation functions.
//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//
@ -1878,7 +1883,7 @@ CFRefCount::HandleSymbolDeath(GRStateManager& VMgr,
if (V.isReturnedOwned() && V.getCount() == 0) if (V.isReturnedOwned() && V.getCount() == 0)
if (const ObjCMethodDecl* MD = dyn_cast<ObjCMethodDecl>(CD)) { if (const ObjCMethodDecl* MD = dyn_cast<ObjCMethodDecl>(CD)) {
std::string s = MD->getSelector().getName(); std::string s = MD->getSelector().getName();
if (!followsFundamentalRule(s.c_str())) { if (!followsReturnRule(s.c_str())) {
hasLeak = true; hasLeak = true;
state = state.set<RefBindings>(sid, V ^ RefVal::ErrorLeakReturned); state = state.set<RefBindings>(sid, V ^ RefVal::ErrorLeakReturned);
return std::make_pair(state, true); return std::make_pair(state, true);