Date: Sun, 29 Oct 2023 20:06:49 +0900
Hello SG1,
I've posted a draft update to P2809 Trivial infinite loops are not
Undefined Behavior:
https://isocpp.org/files/papers/D2809R3.html
I seek your feedback regarding the freestanding behavior that I've added.
The basics: freestanding can do whatever it wants with infinite loops,
because it might not have threads and/or might not have concurrent forward
progress guarantees. Saying that infinite loops yield would force them to
have forward progress guarantees that they do not have to offer currently.
Thoughts?
JF
I've posted a draft update to P2809 Trivial infinite loops are not
Undefined Behavior:
https://isocpp.org/files/papers/D2809R3.html
I seek your feedback regarding the freestanding behavior that I've added.
The basics: freestanding can do whatever it wants with infinite loops,
because it might not have threads and/or might not have concurrent forward
progress guarantees. Saying that infinite loops yield would force them to
have forward progress guarantees that they do not have to offer currently.
Thoughts?
JF
Received on 2023-10-29 11:07:02