Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll

MathiasVP · jketema · web-flow · commit cdd9567062bf · 2023-01-13T13:54:07.000Z
Co-authored-by: Jeroen Ketema &lt;93738568+jketema@users.noreply.github.com&gt;
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll
@@ -412,7 +412,7 @@ private predicate isModifiableAtImpl(CppType cppType, int indirectionIndex) {
       not base.isConst()
       or
       // but in the case of a class type, it may be the case that
-      // one of the members were modified.
+      // one of the members was modified.
       exists(base.stripType().(Cpp::Class).getAField())
     )
     or

Original file line number	Diff line number	Diff line change
`@@ -412,7 +412,7 @@ private predicate isModifiableAtImpl(CppType cppType, int indirectionIndex) {`
`412`	`412`	`not base.isConst()`
`413`	`413`	`or`
`414`	`414`	`// but in the case of a class type, it may be the case that`
`415`		`- // one of the members were modified.`
	`415`	`+ // one of the members was modified.`
`416`	`416`	`exists(base.stripType().(Cpp::Class).getAField())`
`417`	`417`	`)`
`418`	`418`	`or`