Copilot feedback

Author: MichaelRFairhurst

cpp/misra/src/rules/RULE-15-1-4/NonStaticMemberNotInitBeforeUse.ql

@@ -194,7 +194,7 @@ class IncompleteAggregateInit extends LocalVariable, IncompleteInitialization {
 /**
  * An aggregate created by a new or new[] expression that does not initialize necessary fields.
  *
- * For examyple, `new Aggregate;` does not zero-initialize members and may be non-compliant, while
+ * For example, `new Aggregate;` does not zero-initialize members and may be non-compliant, while
  * `new Aggregate{};` does zero-initialize members and is compliant.
  */
 class IncompleteAggregateNew extends NewOrNewArrayExpr, IncompleteInitialization {

cpp/misra/test/rules/RULE-15-1-4/test.cpp

@@ -275,7 +275,7 @@ struct Aggregate {
 } // namespace std
 void useStd() {
   // std::array is the only aggregate in the STL according to the spec, but
-  // we should categorically exclude
+  // we should categorically exclude types from `std`.
   std::array<int, 5> a; // COMPLIANT
   std::Aggregate a2;    // COMPLIANT
 }
@@ -286,7 +286,7 @@ void useUnionAggregate() {
     float m2;
   };
 
-  // Unions are aggregates, but we should not report on them.
+  // Unions are aggregates, we should still check for `{}`-initialization.
   UnionAggregate a;             // NON_COMPLIANT
   UnionAggregate a2{};          // COMPLIANT
   UnionAggregate a3 = {};       // COMPLIANT