これは未定義動作でしょうか？正しいコードでしょうか？

Question

他人が書いたC言語のコードを読んでいて以下のようなコードを見つけました。

/**
 * @file hoge.c
 */
#include <stdio.h>
void hoge(int x) {
  printf("x = %d\n", x);
}
/**
 * @file main.c
 */
extern void hoge(void);  // Signature is different from definition
int main(void) {
  hoge();
  return 0;
}

見ての通り、externで取り込んでいる関数hogeのシグニチャが関数の定義とは異なっています。
上記はC++(g++)ではコンパイルエラーになるのですが、
C(gcc)ではコンパイル通ります。実行するとx=1と表示されます。

最初、この部分を見つけて「？？？」と思ったのですが、
gccでコンパイルが通り、clangでも同じように動作するので混乱しています。
(clang++はやはりコンパイルエラー）。

これは正しいコードなのでしょうか。
よろしくお願い致します。

Answer 1

この辺でしょうか。

6.5.2.2 関数呼出し

実引数の個数と仮引数の個数が等しくない場合，その動作は未定義とする。関数原型を含む型で
関数を定義し，かつ，関数原型が省略記号（, ...）で終わっている場合，又は拡張後の実引数の型が，
仮引数の型と適合しない場合，その動作は未定義とする

この、「個数が等しくない場合」に該当するかと。

Comments

[sin_250]

ありがとうございました。嫌なものを見つけてしまいました。直さなきゃ・・・。

[otn]

まあ、このあたりは、簡単なつくりのコンパイラを許容するための記述でしょうね。
コンパイラのつくりによっては、引数の個数や型が一致しないと、スタックポインタが狂って暴走するということもありえます。メジャーなコンパイラだと大丈夫でしょうけど。

Answer 2

既に回答があるように、未定義動作です。

これは正しいコードなのでしょうか。

不適切なコードです。
正しいかどうかは、「正しい」の定義に依存します。

Comments

[sin_250]

ありがとうございます。やっぱりそうなんですね。。。

Answer 3

C言語でも未定義の動作と思われます。

呼び出される関数を表す式によって指される式の型が関数が定義された型と適合しない場合，その動作は，未定義とする。

Comments

[sin_250]

ありがとうございます。納得致しました。