From cdd9567062bf94ff03914c67eb62e88c1c1984f4 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Fri, 13 Jan 2023 13:54:07 +0000 Subject: [PATCH] Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com> --- .../semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 index b38f43d1a52..486b1ad716e 100644 --- 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