=?utf-8?q?Donát?= Nagy <[email protected]> Message-ID: In-Reply-To: <llvm.org/llvm/llvm-project/pull/[email protected]>
================ @@ -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>, ---------------- steakhal wrote: So be it. https://github.com/llvm/llvm-project/pull/156073 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
