Skip to content

Commit 191c326

Browse files
Update class qldoc
Co-authored-by: Mauro Baluda <mbaluda@github.com>
1 parent f3beed8 commit 191c326

File tree

1 file changed

+8
-0
lines changed

1 file changed

+8
-0
lines changed

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

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -34,6 +34,14 @@ private predicate needsInitialization(Type t) {
3434

3535
/**
3636
* An aggregate must be validated at construction time if it has a field that needs initialization.
37+
/**
38+
* An aggregate that must be validated at construction time.
39+
* For example, `Agg` must be validated at construction time as it includes field `f1` that needs initialization.
40+
* ```
41+
* struct Agg {
42+
* int f1;
43+
* };
44+
* ```
3745
*/
3846
class RelevantAggregate extends Class {
3947
CheckedField f;

0 commit comments

Comments
 (0)