Refactor comments in NonStaticMemberNotInitBeforeUse.ql

mbaluda · web-flow · commit 3f412f5cbbc6 · 2026-03-25T10:34:19.000+01:00
Removed redundant comment about aggregate validation at construction time.
diff --git a/cpp/misra/src/rules/RULE-15-1-4/NonStaticMemberNotInitBeforeUse.ql b/cpp/misra/src/rules/RULE-15-1-4/NonStaticMemberNotInitBeforeUse.ql
@@ -32,8 +32,6 @@ private predicate needsInitialization(Type t) {
   t instanceof RelevantAggregate
 }
 
-/**
- * An aggregate must be validated at construction time if it has a field that needs initialization.
 /**
  * An aggregate that must be validated at construction time. 
  * For example, `Agg` must be validated at construction time as it includes field `f1` that needs initialization.

Original file line number	Diff line number	Diff line change
`@@ -32,8 +32,6 @@ private predicate needsInitialization(Type t) {`
`32`	`32`	`t instanceof RelevantAggregate`
`33`	`33`	`}`
`34`	`34`
`35`		`-/**`
`36`		`- * An aggregate must be validated at construction time if it has a field that needs initialization.`
`37`	`35`	`/**`
`38`	`36`	`* An aggregate that must be validated at construction time.`
`39`	`37`	* For example, `Agg` must be validated at construction time as it includes field `f1` that needs initialization.