[clang] [clang][analyzer] CallAndMessage warnings at pointer to uninitialized struct (PR #164600)

Balázs Kéri via cfe-commits cfe-commits at lists.llvm.org
Mon Dec 15 06:59:32 PST 2025


================
@@ -179,6 +179,12 @@ def CallAndMessageChecker
                "Check whether the reciever in the message expression is "
                "undefined",
                "true", Released>,
+           CmdLineOption<
+               Boolean, "ArgPointeeInitializednessComplete",
+               "If set to true, treat a struct as initialized when all of its "
+               "members are initialized, otherwise when it has any initialized "
+               "member (used only at ArgPointeeInitializedness)",
+               "false", Released>,
----------------
balazske wrote:

Additionally, the checker has practically no documentation, just some of the simple examples. I can not add documentation for the new option because no others are documented (in the rst file) (only if the entire documentation is updated).

https://github.com/llvm/llvm-project/pull/164600


More information about the cfe-commits mailing list