信じられないほどのプログラムクラッシュコールスタック

Question

私はCで1つの信じられないほどのセグメントクラッシュコールスタックを持っています。

int function(struct A *a) 
{ 
    ... some other declare 
    struct B *b = a->b; 
    int count, len; 
    ... some other declare 
    struct C *c = b->c; /* not crash here */ 
    ....some other decalre 

    if (b->e) { /*crash log indicate b is NULL and crash here,first line instrucment code*/ 
    ..... 
    } 
    .... 
} 

私の質問は、struct C *c = b->cでクラッシュが発生しなかった理由です。

GCCはコンパイラです。データフロー依存性がない限り

トニー

Answer 1

コンパイラは、命令の実行順序を保証するものではありません。多数の最適化があり、そのうちの1つはdata flow optimizationです。

また、変数cをまったく使用しないと、コンパイラはコード（dead code optimization）から最適化し、プログラムの残りの部分が正常に動作してもクラッシュすることはありません。

どの最適化が起こっているかを簡単に理解するには、c変数にアクセスする必要があります。別の方法は、最適化を無効にすることです（GCCの-O0）。