diff options
Diffstat (limited to 'include/clang/StaticAnalyzer/Checkers/Checkers.td')
| -rw-r--r-- | include/clang/StaticAnalyzer/Checkers/Checkers.td | 43 |
1 files changed, 40 insertions, 3 deletions
diff --git a/include/clang/StaticAnalyzer/Checkers/Checkers.td b/include/clang/StaticAnalyzer/Checkers/Checkers.td index 2b29efba66a4..4d52655045b3 100644 --- a/include/clang/StaticAnalyzer/Checkers/Checkers.td +++ b/include/clang/StaticAnalyzer/Checkers/Checkers.td @@ -504,6 +504,15 @@ def MoveChecker: Checker<"Move">, ]>, Documentation<HasDocumentation>; +def VirtualCallModeling : Checker<"VirtualCallModeling">, + HelpText<"Auxiliary modeling for the virtual method call checkers">, + Documentation<NotDocumented>, + Hidden; + +def PureVirtualCallChecker : Checker<"PureVirtualCall">, + HelpText<"Check pure virtual function calls during construction/destruction">, + Dependencies<[VirtualCallModeling]>, + Documentation<HasDocumentation>; } // end: "cplusplus" let ParentPackage = CplusplusOptIn in { @@ -552,14 +561,22 @@ def UninitializedObjectChecker: Checker<"UninitializedObject">, Documentation<HasAlphaDocumentation>; def VirtualCallChecker : Checker<"VirtualCall">, - HelpText<"Check virtual function calls during construction or destruction">, + HelpText<"Check virtual function calls during construction/destruction">, CheckerOptions<[ CmdLineOption<Boolean, + "ShowFixIts", + "Enable fix-it hints for this checker", + "false", + InAlpha>, + CmdLineOption<Boolean, "PureOnly", - "Whether to only report calls to pure virtual methods.", + "Disables the checker. Keeps cplusplus.PureVirtualCall " + "enabled. This option is only provided for backwards " + "compatibility.", "false", - Released> + InAlpha> ]>, + Dependencies<[VirtualCallModeling]>, Documentation<HasDocumentation>; } // end: "optin.cplusplus" @@ -636,6 +653,19 @@ let ParentPackage = DeadCode in { def DeadStoresChecker : Checker<"DeadStores">, HelpText<"Check for values stored to variables that are never read " "afterwards">, + CheckerOptions<[ + CmdLineOption<Boolean, + "WarnForDeadNestedAssignments", + "Warns for deadstores in nested assignments." + "E.g.: if ((P = f())) where P is unused.", + "true", + Released>, + CmdLineOption<Boolean, + "ShowFixIts", + "Enable fix-it hints for this checker", + "false", + InAlpha> + ]>, Documentation<HasDocumentation>; } // end DeadCode @@ -799,6 +829,13 @@ let ParentPackage = Taint in { def GenericTaintChecker : Checker<"TaintPropagation">, HelpText<"Generate taint information used by other checkers">, + CheckerOptions<[ + CmdLineOption<String, + "Config", + "Specifies the name of the configuration file.", + "", + InAlpha>, + ]>, Documentation<HasAlphaDocumentation>; } // end "alpha.security.taint" |