diff options
Diffstat (limited to 'clang/include/clang/StaticAnalyzer/Checkers/Checkers.td')
| -rw-r--r-- | clang/include/clang/StaticAnalyzer/Checkers/Checkers.td | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/clang/include/clang/StaticAnalyzer/Checkers/Checkers.td b/clang/include/clang/StaticAnalyzer/Checkers/Checkers.td index f1ba5b676f1..da59b3af3cd 100644 --- a/clang/include/clang/StaticAnalyzer/Checkers/Checkers.td +++ b/clang/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,17 @@ 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, "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" |
