================ @@ -143,68 +143,49 @@ def BitwiseShiftChecker : Checker<"BitwiseShift">, ]>, Documentation<HasDocumentation>; -def CallAndMessageModeling : Checker<"CallAndMessageModeling">, - HelpText<"Responsible for essential modeling and assumptions after a " - "function/method call. For instance, if we can't reason about the " - "nullability of the implicit this parameter after a method call, " - "this checker conservatively assumes it to be non-null">, - Documentation<HasDocumentation>, - Hidden; - -def CallAndMessageChecker : Checker<"CallAndMessage">, - HelpText<"Check for logical errors for function calls and Objective-C " - "message expressions (e.g., uninitialized arguments, null function " - "pointers)">, - CheckerOptions<[ - CmdLineOption<Boolean, - "FunctionPointer", - "Check whether a called function pointer is null or " - "undefined", - "true", - Released>, - CmdLineOption<Boolean, - "ParameterCount", - "Check whether a function was called with the appropriate " - "number of arguments", - "true", - Released>, - CmdLineOption<Boolean, - "CXXThisMethodCall", - "Check whether the implicit this parameter is null or " - "undefined upon a method call", - "true", - Released>, - CmdLineOption<Boolean, - "CXXDeallocationArg", - "Check whether the argument of operator delete is undefined", - "true", - Released>, - CmdLineOption<Boolean, - "ArgInitializedness", - "Check whether any of the pass-by-value parameters is " - "undefined", - "true", - Released>, - CmdLineOption<Boolean, - "ArgPointeeInitializedness", - "Check whether the pointee of a pass-by-reference or " - "pass-by-pointer is undefined", - "false", - InAlpha>, - CmdLineOption<Boolean, - "NilReceiver", - "Check whether the reciever in the message expression is nil", - "true", - Released>, - CmdLineOption<Boolean, - "UndefReceiver", - "Check whether the reciever in the message expression is " - "undefined", - "true", - Released>, - ]>, - Documentation<HasDocumentation>, ---------------- NagyDonat wrote:
This block is just reformatted by `git-clang-format`. It really doesn't like the customary layout of `Checkers.td`... :roll_eyes: https://github.com/llvm/llvm-project/pull/156073 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
