Title
Unrealistic header inclusion checks required
Status
c++14
Section
[using.headers]
Submitter
Richard Smith

Created on 2012-12-18.00:00:00 last changed 123 months ago

Messages

Date: 2013-04-19.22:36:19

Proposed resolution:

This wording is relative to N3485.

  1. Edit [using.headers] p3 as indicated:

    -3- A translation unit shall include a header only outside of any external declaration or definition, and shall include the header lexically before the first reference in that translation unit to any of the entities declared in that header. No diagnostic is required.

Date: 2013-04-20.00:00:00

[ 2013-04-20 Bristol ]

Date: 2013-03-15.00:00:00

[ 2013-03-15 Issues Teleconference ]

Moved to Tentatively Ready.

Date: 2012-12-18.00:00:00

[using.headers]/3 says:

A translation unit shall include a header only outside of any external declaration or definition, and shall include the header lexically before the first reference in that translation unit to any of the entities declared in that header.

Per [intro.compliance]/1, programs which violate this rule are ill-formed, and a conforming implementation is required to produce a diagnostic. This does not seem to match reality. Presumably, this paragraph is missing a "no diagnostic is required".

History
Date User Action Args
2014-02-20 13:20:35adminsetstatus: wp -> c++14
2013-04-25 19:07:07adminsetstatus: voting -> wp
2013-04-19 22:36:19adminsetmessages: + msg6490
2013-04-19 22:36:19adminsetstatus: ready -> voting
2013-03-18 14:33:00adminsetmessages: + msg6434
2013-03-18 13:02:36adminsetstatus: new -> ready
2012-12-18 21:56:12adminsetmessages: + msg6300
2012-12-18 00:00:00admincreate