Content
Proposed resolution (July, 2009):
Change 6.9.3.1 [basic.start.main] paragraph 4 as follows:
Calling the function std::exit(int) declared in
<cstdlib> (17.5 [support.start.term]) terminates
Terminating the program without leaving the current block
(e.g., by calling the function std::exit(int)
(17.5 [support.start.term])) and hence without
destroying does not destroy any objects with
automatic storage duration (11.4.7 [class.dtor])...