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

[Donát Nagy via cfe-commits]

================
@@ -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>,
----------------
NagyDonat wrote:

> That said, as this was the existing norm for this checker, I would not gate this change with that requirement, but in the future we should think about raising the bar even for this checker. Either way, we should not hold this PR back much longer, and optionally revisit this if we have time. (I definitely don't :s)

I agree with this. This commit should add the new feature in a style/quality that is consistent with the rest of the checker, and then (when we have time...) we should clean up the whole checker in a consistent way.

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