CPP: More accurate qldoc comment.

geoffw0 · geoffw0 · commit b9a57a46d2eb · 2019-06-18T08:56:52.000+01:00
diff --git a/cpp/ql/src/Likely Bugs/Conversion/CastArrayPointerArithmetic.ql b/cpp/ql/src/Likely Bugs/Conversion/CastArrayPointerArithmetic.ql
@@ -44,8 +44,8 @@ class CastToPointerArithFlow extends DataFlow::Configuration {
 }
 
 /**
- * `derived` has a (possibly indirect) base class of `base`, and `derived`
- * introduces at least one new field that isn't in a base class.
+ * `derived` has a (possibly indirect) base class of `base`, and at least one new
+ * field has been introduced in the inheritance chain after `base`.
  */
 predicate introducesNewField(Class derived, Class base) {
   (

Original file line number	Diff line number	Diff line change
`@@ -44,8 +44,8 @@ class CastToPointerArithFlow extends DataFlow::Configuration {`
`44`	`44`	`}`
`45`	`45`
`46`	`46`	`/**`
`47`		- * `derived` has a (possibly indirect) base class of `base`, and `derived`
`48`		`- * introduces at least one new field that isn't in a base class.`
	`47`	+ * `derived` has a (possibly indirect) base class of `base`, and at least one new
	`48`	+ * field has been introduced in the inheritance chain after `base`.
`49`	`49`	`*/`
`50`	`50`	`predicate introducesNewField(Class derived, Class base) {`
`51`	`51`	`(`