コメントのみが変更されたプログラムの2つのバイナリがgccで正確に一致しないのはなぜですか？

2つのCプログラムを作成しました

1. プログラム1

   int main()
   {
   }

2. プログラム2

   int main()
   {
   //Some Harmless comments
   }

私の知る限り、コンパイルするとき、コンパイラ（gcc）はコメントと冗長な空白を無視する必要があるため、出力は類似している必要があります。

しかし、出力バイナリのmd5sumsを確認したところ、一致していません。また、最適化-O3を使用してコンパイルしようとしました-Ofastが、それでも一致しませんでした。

ここで何が起きてるの？

編集：正確なコマンドとそこにあるmd5sumsがあります（t1.cはプログラム1であり、t2.cはプログラム2です）

gcc ./t1.c -o aaa
gcc ./t2.c -o bbb
98c1a86e593fd0181383662e68bac22f  aaa
c10293cbe6031b13dc6244d01b4d2793  bbb

gcc ./t2.c -Ofast -o bbb
gcc ./t1.c -Ofast -o aaa
2f65a6d5bc9bf1351bdd6919a766fa10  aaa
c0bee139c47183ce62e10c3dbc13c614  bbb


gcc ./t1.c -O3 -o aaa
gcc ./t2.c -O3 -o bbb
564a39d982710b0070bb9349bfc0e2cd  aaa
ad89b15e73b26e32026fd0f1dc152cd2  bbb

そして、はい、md5sumsは、同じフラグを持つ複数のコンパイル間で一致します。

ところで、私のシステムがあるgcc (GCC) 5.2.0とLinux 4.2.0-1-MANJARO #1 SMP PREEMPT x86_64 GNU/Linux

これは、ファイル名が異なるためです（ただし、文字列の出力は同じです）。（2つのファイルを作成するのではなく）ファイル自体を変更しようとすると、出力バイナリに違いがないことがわかります。イェンスと私が言ったように、それはGCC が正確なソースファイル名（およびCFAもそうであるようにAFAICS）を含む、メタデータの全負荷をビルドするバイナリにダンプするためです。

これを試して：

$ cp code.c code2.c subdir/code.c
$ gcc code.c -o a
$ gcc code2.c -o b
$ gcc subdir/code.c -o a2
$ diff a b
Binary files a and b differ
$ diff a2 b
Binary files a2 and b differ
$ diff -s a a2
Files a and a2 are identical

これは、ビルド間でmd5sumが変更されない理由を説明しますが、ファイルによって異なります。必要に応じて、Jensが提案したことを実行しstrings、各バイナリの出力を比較して、ファイル名がバイナリに埋め込まれていることがわかります。これを「修正」したい場合はstrip、バイナリを使用するとメタデータが削除されます。

$ strip a a2 b
$ diff -s a b
Files a and b are identical
$ diff -s a2 b
Files a2 and b are identical
$ diff -s a a2
Files a and a2 are identical

最も一般的な理由は、コンパイラによって追加されたファイル名とタイムスタンプです（通常はELFセクションのデバッグ情報部分にあります）。

実行してみてください

 $ strings -a program > x
 ...recompile program...
 $ strings -a program > y
 $ diff x y

その理由がわかるかもしれません。私はかつてこれを使用して、同じソースが異なるディレクトリでコンパイルされたときに異なるコードを引き起こす理由を見つけました。発見は、__FILE__マクロが絶対的なファイル名に展開され、両方のツリーで異なることでした。

注：ソースファイル名は、解凍されていないバイナリに含まれるため、異なる名前のソースファイルからの2つのプログラムは異なるハッシュを使用することに注意してください。

同様の状況で、上記が当てはまらない場合は、以下を試すことができます。

• stripバイナリに対して実行して脂肪を取り除きます。取り除かれたバイナリが同じである場合、それはプログラム操作に不可欠ではないいくつかのメタデータでした。
• 差（差が実際より良く特定すること、ただし、または、実際のCPU命令でないことを確認するために、アセンブリの中間出力を生成です）
• を使用するstringsか、両方のプログラムを16進数にダンプして、2つの16進数ダンプでdiffを実行します。違いを見つけたら、それらに韻や理由があるかどうかを試してみてください（PID、タイムスタンプ、ソースファイルのタイムスタンプ...）。たとえば、診断目的でコンパイル時にタイムスタンプを保存するルーチンがあるとします。