Skip to content

Commit f381119

Browse files
committed
C++: Expand QLDoc.
1 parent dcda06a commit f381119

1 file changed

Lines changed: 5 additions & 1 deletion

File tree

‎cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll‎

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1127,7 +1127,11 @@ private predicate interpretForwardsModel(
11271127
)
11281128
}
11291129

1130-
/** Holds if `forwarder` forwards its arguments starting at `start` to `constructor`. */
1130+
/**
1131+
* Holds if `forwarder` may forward its arguments starting at `start` to `constructor`. The
1132+
* actual constructor being forwarded to depends on the types of arguments from `start`
1133+
* at calls to `forwarder`.
1134+
*/
11311135
predicate forwards(Function forwarder, Constructor constructor, int start) {
11321136
interpretForwardsModel(forwarder, constructor, start, _, _, _)
11331137
}

0 commit comments

Comments
 (0)