Skip to content

Commit cb4bfa6

Browse files
committed
C++: Fix Code Scanning errors.
1 parent 911066a commit cb4bfa6

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1248,11 +1248,11 @@ predicate validParameterAliasStep(Node node1, Node node2) {
12481248
node2.asInstruction().(StoreInstruction).getSourceValueOperand() = operand
12491249
) and
12501250
(
1251-
// Either this is not a modelled flow.
1251+
// Either this is not a modeled flow.
12521252
not isInputOutput(_, node1, node2, _, _)
12531253
or
12541254
exists(DF::DataFlowFunction target, IO::FunctionInput input, IO::FunctionOutput output |
1255-
// Or it is a modelled flow and there's `*input` to `*output` flow
1255+
// Or it is a modeled flow and there's `*input` to `*output` flow
12561256
isInputOutput(target, node1, node2, input.getIndirectionInput(), output.getIndirectionOutput()) and
12571257
// and in that case there should also be `input` to `output` flow
12581258
target.hasDataFlow(input, output)

0 commit comments

Comments
 (0)