Skip to content

Commit 31690de

Browse files
authored
Fix comment.
1 parent 6c14288 commit 31690de

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -694,9 +694,9 @@ private predicate simpleInstructionLocalFlowStep(Operand opFrom, Instruction iTo
694694
opFrom.getAnyDef() instanceof WriteSideEffectInstruction and
695695
chi.getPartialOperand() = opFrom and
696696
not chi.isResultConflated() and
697-
// In a call such as `set_value(&x->val);`
698-
// we don't want the memory that of `x` to receive dataflow. This is handled by field flow. If we
699-
// add dataflow here we get field to object flow.
697+
// In a call such as `set_value(&x->val);` we don't want the memory representing `x` to receive
698+
// dataflow by a simple step. Instead, this is handled by field flow. If we add a simple step here
699+
// we can get field-to-object flow.
700700
not chi.isPartialUpdate()
701701
)
702702
or

0 commit comments

Comments
 (0)