[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