using std::FILE

Christopher Creutzig ccr at
Tue Dec 18 08:35:59 CET 2007

Richard B. Kreckel wrote:
> Hi!
> Marc Glisse wrote:
>> On Sun, 16 Dec 2007, Richard B. Kreckel wrote:
>>> Note that
>>> including <stdio.h> is not enough, as it doesn't define namespace std.
>> That is a bug, the current standard says it should (that may change in 
>> the next standard, but hasn't yet).
> Are you sure? So, this is a bug in GCC?

 Yes. Clause D.5.2 of the C++ standard. (Annex D is normative.)

|   Each C header, whose name has the form name.h, behaves as if each
name placed in the Standard library
|   namespace by the corresponding cname header is also placed within
the namespace scope of the name-
|   space std and is followed by an explicit using-declaration (7.3.3)

SciFace Software GmbH & Co. KG
    Technologiepark 11    Tel: ++49 (0)5251 1843000
    D-33100 Paderborn     Fax: ++49 (0)5251 1843010
    Deutschland           Web:
Sitz der Gesellschaft: Paderborn
    Registergericht Paderborn HRA 2080
    Ust.-ID Nr.: DE 187992139
Persönlich haftende Gesellschaft:
    SciFace Software Verwaltungsgesellschaft mbH
    Registergericht Paderborn HRB 2924
    Geschäftsführer: Dr. Oliver Kluge

More information about the gmp-bugs mailing list