Skip to content

Commit ed70db4

Browse files
Copilot feedback, comment changes
1 parent 5ff8e35 commit ed70db4

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -71,8 +71,7 @@ class CheckedField extends Field {
7171
}
7272

7373
/**
74-
* Holds if `f` is initialized in constructor `ctor` via the member initialization list
75-
* or has a default member initializer (NSDMI).
74+
* Holds if `f` is initialized in constructor `ctor` via the member initialization list.
7675
*/
7776
predicate ctorInitializesCheckedField(Constructor ctor, CheckedField f) {
7877
// Field appears in the member initialization list
@@ -84,7 +83,8 @@ predicate ctorInitializesCheckedField(Constructor ctor, CheckedField f) {
8483
}
8584

8685
/**
87-
* Represents an AST element that does not initialize a non-static data member that requires initialization.
86+
* Represents an AST element that does not initialize a non-static data member that requires
87+
* initialization.
8888
*
8989
* This may be a constructor definition, or an aggregate creation, etc.
9090
*/

0 commit comments

Comments
 (0)