From 0aed890b15b2b6a10937d2d37780e932e6f83548 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Fri, 3 Feb 2023 14:02:55 +0000 Subject: [PATCH] C++: Undo QLDoc change. --- .../code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) 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 e51908121a9..272dfd04470 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 @@ -481,10 +481,9 @@ private module Cached { } /** - * Holds if `iteratorAddress` is an address of an iterator (i.e., `it`) - * that is dereferenced and then used for a write operation that writes the value `value`. - * The `memory` instruction represents the memory that the IR's SSA analysis determined was - * read by the call to `operator*`. + * Holds if `iteratorDerefAddress` is an address of an iterator dereference (i.e., `*it`) + * that is used for a write operation that writes the value `value`. The `memory` instruction + * represents the memory that the IR's SSA analysis determined was read by the call to `operator*`. * * The `numberOfLoads` integer represents the number of dereferences this write corresponds to * on the underlying container that produced the iterator.