maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[analyzer] MIGChecker: Enable by default as `osx.MIG'. 

With r354643, the checker is feature-rich and polished enough.

rdar://problem/35380337

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

llvm-svn: 354644
This commit is contained in:
Artem Dergachev 2019-02-22 00:18:46 +00:00
parent 7bc7d0441c
commit fb1052d5f1
2 changed files with 6 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
View File

@ -712,6 +712,11 @@ def MacOSKeychainAPIChecker : Checker<"SecKeychainAPI">,
HelpText<"Check for proper uses of Secure Keychain APIs">, HelpText<"Check for proper uses of Secure Keychain APIs">,
Documentation<HasDocumentation>; Documentation<HasDocumentation>;
def MIGChecker : Checker<"MIG">,
HelpText<"Find violations of the Mach Interface Generator "
"calling convention">,
Documentation<NotDocumented>;
def ObjCPropertyChecker : Checker<"ObjCProperty">, def ObjCPropertyChecker : Checker<"ObjCProperty">,
HelpText<"Check for proper uses of Objective-C properties">, HelpText<"Check for proper uses of Objective-C properties">,
Documentation<NotDocumented>; Documentation<NotDocumented>;
@ -828,15 +833,6 @@ def OSObjectCStyleCast : Checker<"OSObjectCStyleCast">,
} // end "optin.osx" } // end "optin.osx"
let ParentPackage = OSXAlpha in {
def MIGChecker : Checker<"MIG">,
HelpText<"Find violations of the Mach Interface Generator "
"calling convention">,
Documentation<NotDocumented>;
} // end "alpha.osx"
let ParentPackage = CocoaAlpha in { let ParentPackage = CocoaAlpha in {
def IvarInvalidationModeling : Checker<"IvarInvalidationModeling">, def IvarInvalidationModeling : Checker<"IvarInvalidationModeling">,

2
clang/test/Analysis/mig.mm
View File

@ -1,4 +1,4 @@
// RUN: %clang_analyze_cc1 -w -analyzer-checker=core,alpha.osx.MIG\ // RUN: %clang_analyze_cc1 -w -analyzer-checker=core,osx.MIG\
// RUN: -analyzer-output=text -fblocks -verify %s // RUN: -analyzer-output=text -fblocks -verify %s
typedef unsigned uint32_t; typedef unsigned uint32_t;