Skip to content

Commit ece5557

Browse files
paldepindhvitved
andauthored
Apply suggestions from code review
Co-authored-by: Tom Hvitved <[email protected]>
1 parent b0a3cdc commit ece5557

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -890,7 +890,7 @@ final class FunctionCallArgumentContent extends Content, TFunctionCallArgumentCo
890890
}
891891

892892
/**
893-
* A content for the index of an argument to at function call.
893+
* A content for the return value of function call.
894894
*
895895
* Used by the model generator to create flow summaries for higher-order
896896
* functions.
@@ -1661,7 +1661,7 @@ private module Cached {
16611661
} or
16621662
TFunctionCallReturnContent() or
16631663
TFunctionCallArgumentContent(int pos) {
1664-
pos in [0 .. any(CallExpr c).getArgList().getNumberOfArgs()]
1664+
pos in [0 .. any(CallExpr c).getArgList().getNumberOfArgs() - 1]
16651665
} or
16661666
TCapturedVariableContent(VariableCapture::CapturedVariable v) or
16671667
TReferenceContent()

0 commit comments

Comments
 (0)