[RFC] libstdc++/6720 and libstdc++/6671

[Gabriel Dos Reis]

Jason Merrill <jason@redhat.com> writes:

| >>>>> "Gabriel" == Gabriel Dos Reis <gdr@codesourcery.com> writes:
| 
| > The exception is 17.4.3.2:
| 
| >    *If* a file with a name equivalent to the derived file name for one of
| >    the C++ Standard Library headers is *not provided* as part of the
| >    implementation, *and* a file with that name is placed in any of the
| >    standard places for a source file to be included (16.2), the behavior
| >    is undefined. 
| 
| I believe the above is the result of an editing error.

Thanks for the input, I'll nevertheless bring the issue on the
committee reflector.  There is so many difference with C++
requirements and C requirements as far as standard feaders are
concerned.

Thanks,

-- Gaby