[clang] Add Clang attribute to ensure that fields are initialized explicitly (PR #102040)

[Erich Keane via cfe-commits]

================
@@ -551,3 +551,14 @@ struct full_of_empty empty_test_2(void) {
   struct full_of_empty e;
   return e; // no-warning
 }
+
+struct with_explicit_field {
+  int x;
+  int y [[clang::requires_explicit_initialization]]; // expected-note 
{{declared}}
+};
+
+void aggregate() {
+  struct with_explicit_field a; // expected-warning {{is not explicitly 
initialized}}
----------------
erichkeane wrote:

For these diagnostics, please ensure you do the whole diagnostic instead of 
partial match.

https://github.com/llvm/llvm-project/pull/102040
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits