From 8a569da3704e335a242ffc9b025991fd31edf050 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Fri, 29 Oct 2021 14:05:34 +0100 Subject: [PATCH] C++: Fix comments. --- .../semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll index 1dd3d61951a..c82bd115980 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll @@ -407,13 +407,13 @@ private module Cached { */ cached predicate ssaFlow(Node nodeFrom, Node nodeTo) { - // Def-use/use-use flow from an `InstructionNode` to an `OperandNode`. + // Def-use/use-use flow from an `InstructionNode`. defUseFlow(nodeFrom, nodeTo) or - // Def-use flow from a `StoreNode` to an `OperandNode`. + // Def-use flow from a `StoreNode`. fromStoreNode(nodeFrom, nodeTo) or - // Use-use flow from a `ReadNode` to an `OperandNode` + // Use-use flow from a `ReadNode`. fromReadNode(nodeFrom, nodeTo) or fromPhiNode(nodeFrom, nodeTo) @@ -521,7 +521,7 @@ private module Cached { flowOutOfAddressStep(arith.getAUse(), nTo) ) or - // Flow through a modelled function that has parameter -> return value flow. + // Flow through a modeled function that has parameter -> return value flow. exists( CallInstruction call, int index, DataFlow::FunctionInput input, DataFlow::FunctionOutput output