MinGW で internal compile error が出ていますが、これはコンパイラ側に問題があるということでしょうか？

Question

前提・実現したいこと

C++ で以下の internal compile error が出ています。

発生している問題・エラーメッセージ

internal compiler error: in expand_expr_real_1, at expr.c:10132
5 | int x[N] = {1, 2, 3};
| ^
libbacktrace could not find executable to open
Please submit a full bug report,
with preprocessed source if appropriate.
See https://github.com/msys2/MINGW-packages/issues for instructions.

該当のソースコード

エラー箇所だけ抜き出して再現すると以下のようなコードです。

#include <iostream>

struct hoge {
    hoge(int N) {
        int x[N] = {1, 2, 3};
    }
};

int main() {
    hoge a(10);
}

試したこと

コンストラクタの中で

• 変数でサイズ指定
• { } を使って先頭の要素から順に値を指定、残りは 0 埋め

という書き方をしたときに発生するようです。

コンパイル時定数でサイズ指定した場合や { } を使わない場合はエラーになりませんでした。

補足情報（FW/ツールのバージョンなど）

msys2 で入れた MinGW で、gcc のバージョンは 10.3.0 です。
競技プログラミングのオンラインジャッジでは正常にコンパイルされているようです（以下リンク先の 13 行目で、コンストラクタの中で生配列を宣言しています）
https://judge.yosupo.jp/submission/60385

Answer 1

internal compiler error と報告されるエラーはコンパイラに問題があります。

しかしプログラムとしても正しくはないです。

• C++ の言語仕様としては配列の大きさは定数式で与えられる必要がある
• GCC では C++ でも C と同様の VLA (大きさが定数式ではない配列) を許す
• C の VLA は初期化子を与えられない

という規則があり、質問者が提示した例は規格に合致していません。

エラーを上手く対処できなかった結果の internal compiler error だと思われるので、プログラムが正しくてコンパイラが間違っているというわけでもないですね。

Comments

[bitholic]

回答ありがとうございます。
C の VLA は初期化子を与えられないというのは初めて知りました！確かに C 言語で同じことを試すと internal ではないコンパイルエラーになることが確認できました。
C++ では、オンラインのGCC環境で VLA に初期化子を与えてもコンパイルエラーにならないのですが、これは未定義動作だがたまたまうまく動いているということでしょうか？

[SaitoAtsushi]

少なくとも私には言語仕様・処理系の仕様からなんらかの保証があるという文言を発見できていませんので未定義と解釈すべきだと思います。
最適化も込みで実際の挙動 (コンパイラが生成する機械語) を観察してみたところでは確保した配列の初期化はやっていて、初期化子が足りない分のゼロ埋めもやっているのですが、確保した配列が初期化子よりも少なかった場合について特別な処置はありませんでした。 (バッファオーバーランの可能性がある。)
C++ で VLA を使えて初期化子も与えられるとすればという仮定で考えると順当な挙動だと思うので現状ではまったくデタラメな挙動になってよいとは (開発コミュニティ側は) 考えていないとは思うのですが、保証していない以上は避けておくに越したことはないでしょう。

[bitholic]

なるほど、ありがとうございました。
生配列の代わりに std::vector を使うことにします。