[Moved to DR at October 2002 meeting. This was incorrectly marked as having DR status between 4/01 and 4/02. It was overlooked when issue 4 was moved to DR at the 4/01 meeting; this one should have been moved as well, because it's resolved by the changes there.]

Proposed Resolution (04/01):

See the proposed resolution for Core issue 4, which covers this case.

The ODR should also be checked to see whether it addresses name and type linkage.

Consider the following:

    extern "C" void foo()
    {
        extern void bar();
        bar();
    }

The ARM is explicit and says

A linkage-specification for a function also applies to functions and objects declared within it.

In a linkage-specification, the specified language linkage applies to the function types of all function declarators, function names, and variable names introduced by the declaration(s).

From Mike Miller:

Yes: from 9.1 [dcl.pre] paragraph 1,

declaration:
function-definition

function-definition:
decl-specifier-seq_opt declarator ctor-initializer_opt function-body

From Dag Brück:

Consider the following where extern "C" has been moved to a separate declaration:

    extern "C" void foo();

    void foo() { extern void bar(); bar(); }

As a side note, I have always wanted to think that placing extern "C" on a function definition or a separate declaration would produce identical programs.