Created on 2025-02-14.00:00:00 last changed 1 month ago
In certain clauses for defining senders the unspecified order of evaluation of function arguments can lead to retrieving values from a move-from state of a sender. An example is [exec.continues.on] where paragraph 3 states:
transform_sender(get-domain-early(sndr), make-sender(continues_on, sch, sndr))
In this expression the evaluation of get-domain-early(sndr) can happen before or after the make-sender. The latter can steal the value from `sndr` by moving from it. So get-domain-early may see the moved-from state of `sndr` and fail to obtain anything.
Repetitions are at least in:[exec.then] p3
[exec.let] p4
[exec.bulk] p2
[exec.split] p4
[exec.when.all] p3
[exec.into.variant] p3
[exec.stopped.opt] p2
[exec.stopped.err] p2
[exec.sync.wait.var] p1
History | |||
---|---|---|---|
Date | User | Action | Args |
2025-02-14 00:00:00 | admin | create |