Clangのアセンブラ出力が条件付きで無条件ジャンプにジャンプするのはなぜですか？

Question

逆参照されているマングルされたポインタでプログラムがクラッシュする問題をデバッグするとき、私はlldbを実行し、クラッシュ関数の逆アセンブリを実行しました。私はコードは、この代わりのように見えることを期待する

0x100002b06 <+86>: cmpl $0x0, %eax 
0x100002b09 <+89>: je  0x100002b14 
0x100002b0f <+95>: jmp 0x10000330e 
0x100002b14 <+100>: jmp 0x100002c1d 

：

0x100002b06 <+86>: cmpl $0x0, %eax 
0x100002b09 <+89>: je  0x100002c1d 
0x100002b0f <+95>: jmp 0x10000330e 

I逆アセンブルコードを熟読しながら、私は、命令のこの奇妙な選択肢に気づきましたなぜクラングがこの選択をしたのか不思議だ。これはブランチ予測の最適化の一種ですか？これはNULLポインターチェックであり、一致する可能性は非常に低いですか？

編集：This is the originating C code,特にNULLポインタチェックの行。

traverse = travdone_head; 
while (1) { 
    if (traverse == NULL) nullptr("grokdir() traverse"); 
    /* Don't re-traverse directories we've already seen */ 
    if (inode == traverse->inode && device == traverse->device) { 

Answer 1

-O0コンパイル時間を短縮し、デバッグが期待される 結果を生成します

ためです。これがデフォルトです。

ソースコードと比較すると面白いかもしれません。