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