c99モードでgccが暗黙の関数宣言を間違って実行していますか？

Question

次のコードを考えてみましょう：xyyzyのプロトタイプは、使用の時点では未知であるが、プロトタイプを持たない関数のデフォルトの戻り値の型がそうintあるので、これはC89モードで動作し、今

int main (void) { 
    int i = xyzzy(); 
    return i; 
} 
int xyzzy (void) { 
    return 42; 
} 

を暗黙関数プロトタイプと実際の関数は互換性があります。

そして、あなたはfloatに、関数の戻り値の型を変更した場合（予想通り）実際には、あなたが得る：

testprog.c:6: error: conflicting types for 'xyzzy' 
testprog.c:2: error: previous implicit declaration of 'xyzzy' was here 

暗黙のプロトタイプと実際の機能はもはや一致ので。

C89は 3.7.1 Function definitionsに言って、この持っているので、期待されている

testprog.c: In function 'main': 
testprog.c:2: warning: implicit declaration of function 'xyzzy' 

：

int型のextern int型の最大値を（、

gcc --std=c89 --pedantic -Wall -Wextraでコンパイルされた元のコードは、私だけに警告を与えますint b）{...}：ここではexternはストレージクラス指定子であり、intは型指定子です（それぞれ省略可能な場合もあります）。関数呼び出しに括弧で囲まれた引数リストの前の式は、単に識別子で構成されており、何の宣言は、この識別子のために表示されていない場合は、識別子が暗黙的に宣言されている場合は

：

と3.3.2.2 Function callsで

まったく同じように、 を含む最も内側のブロックでは、宣言は extern int identifier（）;が表示されます。

ので、それを宣言するまでの機能を使用することは間違いなく、デフォルトのプロトタイプで結果が作成される。

呼び出される関数を表し、式がオブジェクトを返す関数へのポインタ型を持つ場合：しかし、両方のこれらのフレーズがC99で削除されていると我々は代わりに（私の太字）6.5.2.2 Function callsで見つける

---

関数呼び出し式は、そのオブジェクト型と同じ型を持ち、6.8.6.4で指定された値を持つ。 それ以外の場合は、関数呼び出しにvoid型があります。

私はあなたが関数を呼び出すしようとすると、それは暗黙的にvoid戻り値の型で宣言されたの視界には宣言がありませんならば、それは、それを意味するように理解しています。

gcc --std=c99 --pedantic -Wall -Wextraでコンパイルすると、暗黙の宣言についても同じ警告が表示されます。

c99は暗黙のうちに関数voidを返すように宣言してはいけませんか？もしそれがあったとすれば、私はを返して再宣言しようとしたときと似たエラーprevious implicit declarationを期待していたでしょう。

ここにgccが壊れていますか、または標準で何かが欠けていますか？