[clang] [clang][analyzer] Extend CallAndMessageChecker argument initializedness check (PR #173854)
DonĂ¡t Nagy via cfe-commits
cfe-commits at lists.llvm.org
Tue Jan 6 07:27:34 PST 2026
================
@@ -264,9 +292,18 @@ bool CallAndMessageChecker::uninitRefOrPointer(
if (!ParamT->isPointerOrReferenceType())
return false;
+ bool AllowPartialInitializedness = StructInitializednessComplete;
----------------
NagyDonat wrote:
Oh, I see, the name `StructInitializednessComplete` was chosen based on the name of the user-facing option name (which is also misleading), and the user facing option name was chosen to match the names of other options of this checker (which are all misleading). See earlier discussion at: https://github.com/llvm/llvm-project/pull/164600#discussion_r2616487417
I like that you renamed this variable and now its name (`ArgPointeeInitializednessComplete`) is exactly the same as the name of the user-facing option. This will make it easier to rename this if the user-facing options are cleaned up (turned into frontends of a checker family).
https://github.com/llvm/llvm-project/pull/173854
More information about the cfe-commits
mailing list