]> granicus.if.org Git - clang/commitdiff
[analyzer] Enable retain count checking for OSObject by defa
authorGeorge Karpenkov <ekarpenkov@apple.com>
Wed, 31 Oct 2018 17:38:12 +0000 (17:38 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Wed, 31 Oct 2018 17:38:12 +0000 (17:38 +0000)
The FP rate seems to be good enough now.

Differential Revision: https://reviews.llvm.org/D53849

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@345745 91177308-0d34-0410-b5e6-96231b3b80d8

lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.h
test/Analysis/osobject-retain-release.cpp

index e7684142611e67ad2e8d014d1fc0eec4f9b401f4..388c2eaaf0ce7260d8359000e721529739c4cf34 100644 (file)
@@ -282,7 +282,7 @@ public:
   ~RetainCountChecker() override { DeleteContainerSeconds(DeadSymbolTags); }
 
   bool shouldCheckOSObjectRetainCount() const {
-    return Options.getBooleanOption("CheckOSObject", false, this);
+    return Options.getBooleanOption("CheckOSObject", true, this);
   }
 
   void checkEndAnalysis(ExplodedGraph &G, BugReporter &BR,
index 17360ac3220272c0540ed5b3aeb075753a1dc561..1159eaed0d8bd1ab5895c158f0619e5285bf7b7b 100644 (file)
@@ -1,4 +1,4 @@
-// RUN: %clang_analyze_cc1 -analyze -analyzer-checker=core,osx.cocoa.RetainCount -analyzer-config osx.cocoa.RetainCount:CheckOSObject=true -analyzer-output=text -verify %s
+// RUN: %clang_analyze_cc1 -analyze -analyzer-checker=core,osx.cocoa.RetainCount -analyzer-output=text -verify %s
 
 struct OSMetaClass;