This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 112e. See for the official list.


1661. Preservation of infinite loops

Section: 6.9.2  [intro.multithread]     Status: NAD     Submitter: Daniel Krügler     Date: 2013-04-15

According to 6.9.2 [intro.multithread] paragraph 24,

The implementation may assume that any thread will eventually do one of the following:

[Note: This is intended to allow compiler transformations such as removal of empty loops, even when termination cannot be proven. —end note]

Some programmers find this liberty afforded to implementations to be disadvantageous; see this blog post for a discussion of the subject.

Rationale (October, 2015)

SG1 reaffirms the original intent of this specification.