================
@@ -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>,
----------------
steakhal wrote:
I honestly feel that the name of this field is suboptimal.
`ArgPointeeInitializednessComplete` is only made up from nouns. Without a verb
in there I have no idea what I'm setting.
> treat a struct as initialized when all of its members are initialized
I find it hard to argue against this.
How about calling this `AllowCopyingPartiallyInitializedObjects`.
Oh my god. I just realised that all of these option names are horrible. In that
case, I'd still prefer yours because that at least fits the existing pattern
(even if I highly disagree with that naming scheme).
https://github.com/llvm/llvm-project/pull/164600
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
