Created on 2024-08-12.00:00:00 last changed 1 week ago
Proposed resolution (approved by CWG 2024-09-13):
Remove 6.9.2.3 [intro.progress] paragraph 5:
[Note 4: Because of this and the preceding requirement regarding what threads of execution have to perform eventually, it follows that no thread of execution can execute forever without an execution step occurring. —end note]
Given that certain infinite loops are no longer undefined behavior (see P2809R3 (Trivial infinite loops are not Undefined Behavior), adopted in March 2024), the note in 6.9.2.3 [intro.progress] paragraph 5 claiming there are no executions without eventual execution steps should be struck.
History | |||
---|---|---|---|
Date | User | Action | Args |
2024-09-25 17:32:08 | admin | set | messages: + msg7819 |
2024-09-25 17:32:08 | admin | set | status: open -> tentatively ready |
2024-08-12 00:00:00 | admin | create |