diff options
author | Aaron Ballman <aaron@aaronballman.com> | 2018-11-30 18:52:51 +0000 |
---|---|---|
committer | Aaron Ballman <aaron@aaronballman.com> | 2018-11-30 18:52:51 +0000 |
commit | 17713b17f3572bacf49e5a80eeb5c842e3bac1a0 (patch) | |
tree | 3ea3e2b94f1d72a6276adbb350df12d4093b6507 | |
parent | 0afcaf1630f8767953f2266e98fa4ccdfa588e3c (diff) | |
download | clang-17713b17f3572bacf49e5a80eeb5c842e3bac1a0.tar.gz |
Reverting r347949-r347951 because they broke the test bots.
http://lab.llvm.org:8011/builders/clang-cmake-armv8-lld/builds/440/steps/ninja%20check%202/logs/FAIL%3A%20Clang%3A%3Aosobject-retain-release.cpp
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@348020 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | .gitignore | 2 | ||||
-rw-r--r-- | include/clang/StaticAnalyzer/Core/RetainSummaryManager.h | 2 | ||||
-rw-r--r-- | lib/StaticAnalyzer/Core/RetainSummaryManager.cpp | 22 | ||||
-rw-r--r-- | test/Analysis/osobject-retain-release.cpp | 32 | ||||
-rw-r--r-- | test/Misc/pragma-attribute-supported-attributes-list.test | 6 |
5 files changed, 7 insertions, 57 deletions
diff --git a/.gitignore b/.gitignore index f8532b8080..f3b14fdfa7 100644 --- a/.gitignore +++ b/.gitignore @@ -29,8 +29,6 @@ cscope.out #==============================================================================# # Directories to ignore (do not add trailing '/'s, they skip symlinks). #==============================================================================# -# Clang extra user tools, which is tracked independently (clang-tools-extra). -tools/extra # Sphinx build products docs/_build docs/analyzer/_build diff --git a/include/clang/StaticAnalyzer/Core/RetainSummaryManager.h b/include/clang/StaticAnalyzer/Core/RetainSummaryManager.h index dfcbd0c85c..9b71011a54 100644 --- a/include/clang/StaticAnalyzer/Core/RetainSummaryManager.h +++ b/include/clang/StaticAnalyzer/Core/RetainSummaryManager.h @@ -530,8 +530,6 @@ class RetainSummaryManager { /// Decrement the reference count on OS object. const RetainSummary *getOSSummaryReleaseRule(const FunctionDecl *FD); - /// Free the OS object. - const RetainSummary *getOSSummaryFreeRule(const FunctionDecl *FD); enum UnaryFuncKind { cfretain, cfrelease, cfautorelease, cfmakecollectable }; diff --git a/lib/StaticAnalyzer/Core/RetainSummaryManager.cpp b/lib/StaticAnalyzer/Core/RetainSummaryManager.cpp index 2595274f2d..fc4544f843 100644 --- a/lib/StaticAnalyzer/Core/RetainSummaryManager.cpp +++ b/lib/StaticAnalyzer/Core/RetainSummaryManager.cpp @@ -124,8 +124,10 @@ RetainSummaryManager::generateSummary(const FunctionDecl *FD, } const IdentifierInfo *II = FD->getIdentifier(); + if (!II) + return getDefaultSummary(); - StringRef FName = II ? II->getName() : ""; + StringRef FName = II->getName(); // Strip away preceding '_'. Doing this here will effect all the checks // down below. @@ -302,12 +304,6 @@ RetainSummaryManager::generateSummary(const FunctionDecl *FD, if (FName == "retain") return getOSSummaryRetainRule(FD); - - if (FName == "free") - return getOSSummaryFreeRule(FD); - - if (MD->getOverloadedOperator() == OO_New) - return getOSSummaryCreateRule(MD); } } @@ -495,11 +491,9 @@ RetainSummaryManager::getSummary(const CallEvent &Call, case CE_CXXConstructor: Summ = getFunctionSummary(cast<CXXConstructorCall>(Call).getDecl()); break; - case CE_CXXAllocator: - Summ = getFunctionSummary(cast<CXXAllocatorCall>(Call).getDecl()); - break; case CE_Block: case CE_CXXDestructor: + case CE_CXXAllocator: // FIXME: These calls are currently unsupported. return getPersistentStopSummary(); case CE_ObjCMessage: { @@ -625,14 +619,6 @@ RetainSummaryManager::getOSSummaryReleaseRule(const FunctionDecl *FD) { } const RetainSummary * -RetainSummaryManager::getOSSummaryFreeRule(const FunctionDecl *FD) { - return getPersistentSummary(RetEffect::MakeNoRet(), - /*ReceiverEff=*/DoNothing, - /*DefaultEff=*/DoNothing, - /*ThisEff=*/Dealloc); -} - -const RetainSummary * RetainSummaryManager::getOSSummaryCreateRule(const FunctionDecl *FD) { return getPersistentSummary(RetEffect::MakeOwned(RetEffect::OS)); } diff --git a/test/Analysis/osobject-retain-release.cpp b/test/Analysis/osobject-retain-release.cpp index a917bd8950..ca5dfbf707 100644 --- a/test/Analysis/osobject-retain-release.cpp +++ b/test/Analysis/osobject-retain-release.cpp @@ -14,7 +14,6 @@ struct OSMetaClass; struct OSObject { virtual void retain(); virtual void release() {}; - virtual void free(); virtual ~OSObject(){} unsigned int foo() { return 42; } @@ -24,9 +23,6 @@ struct OSObject { static OSObject *getObject(); static OSObject *GetObject(); - - static void * operator new(unsigned long size); - static const OSMetaClass * const metaClass; }; @@ -66,34 +62,6 @@ struct OSMetaClassBase { static OSObject *safeMetaCast(const OSObject *inst, const OSMetaClass *meta); }; -void check_free_no_error() { - OSArray *arr = OSArray::withCapacity(10); - arr->retain(); - arr->retain(); - arr->retain(); - arr->free(); -} - -void check_free_use_after_free() { - OSArray *arr = OSArray::withCapacity(10); // expected-note{{Call to method 'OSArray::withCapacity' returns an OSObject of type OSArray with a +1 retain count}} - arr->retain(); // expected-note{{Reference count incremented. The object now has a +2 retain count}} - arr->free(); // expected-note{{Object released}} - arr->retain(); // expected-warning{{Reference-counted object is used after it is released}} - // expected-note@-1{{Reference-counted object is used after it is released}} -} - -unsigned int check_leak_explicit_new() { - OSArray *arr = new OSArray; // expected-note{{Operator new returns an OSObject of type OSArray with a +1 retain count}} - return arr->getCount(); // expected-note{{Object leaked: allocated object of type OSArray is not referenced later in this execution path and has a retain count of +1}} - // expected-warning@-1{{Potential leak of an object of type OSArray}} -} - -unsigned int check_leak_factory() { - OSArray *arr = OSArray::withCapacity(10); // expected-note{{Call to method 'OSArray::withCapacity' returns an OSObject of type OSArray with a +1 retain count}} - return arr->getCount(); // expected-note{{Object leaked: object allocated and stored into 'arr' is not referenced later in this execution path and has a retain count of +1}} - // expected-warning@-1{{Potential leak of an object stored into 'arr'}} -} - void check_get_object() { OSObject::getObject(); } diff --git a/test/Misc/pragma-attribute-supported-attributes-list.test b/test/Misc/pragma-attribute-supported-attributes-list.test index aa51cbfb08..38af02be29 100644 --- a/test/Misc/pragma-attribute-supported-attributes-list.test +++ b/test/Misc/pragma-attribute-supported-attributes-list.test @@ -2,7 +2,7 @@ // The number of supported attributes should never go down! -// CHECK: #pragma clang attribute supports 133 attributes: +// CHECK: #pragma clang attribute supports 132 attributes: // CHECK-NEXT: AMDGPUFlatWorkGroupSize (SubjectMatchRule_function) // CHECK-NEXT: AMDGPUNumSGPR (SubjectMatchRule_function) // CHECK-NEXT: AMDGPUNumVGPR (SubjectMatchRule_function) @@ -86,8 +86,8 @@ // CHECK-NEXT: NoThrow (SubjectMatchRule_function) // CHECK-NEXT: NotTailCalled (SubjectMatchRule_function) // CHECK-NEXT: OSConsumed (SubjectMatchRule_variable_is_parameter) -// CHECK-NEXT: OSReturnsNotRetained (SubjectMatchRule_function, SubjectMatchRule_objc_method, SubjectMatchRule_objc_property) -// CHECK-NEXT: OSReturnsRetained (SubjectMatchRule_function, SubjectMatchRule_objc_method, SubjectMatchRule_objc_property) +// CHECK-NEXT: OSReturnsNotRetained (SubjectMatchRule_function, SubjectMatchRule_objc_method) +// CHECK-NEXT: OSReturnsRetained (SubjectMatchRule_function, SubjectMatchRule_objc_method) // CHECK-NEXT: ObjCBoxable (SubjectMatchRule_record) // CHECK-NEXT: ObjCBridge (SubjectMatchRule_record, SubjectMatchRule_type_alias) // CHECK-NEXT: ObjCBridgeMutable (SubjectMatchRule_record) |