はC11

Question

で_Noreturnの使用

可能性の重複：
What is the point of the Noreturn attribute?

C11は、関数が戻ることはないことを示すために_Noreturn属性を導入しました。

ソースコードの文書化の価値を除いて、その属性が提供する他のメリットとその理由は何ですか？

Answer 1

関数は無条件_Noreturn関数を呼び出す場合、コンパイラはそれを理解することができるようになります：

• 最適化が可能デッドコードは次のコードは、（それが生成されたバイナリから削除することができます）および診断 - コンパイラは「到達不能なコード」警告を発することができます。

• 関数からの通常のフローが中断されたことを知っていると、戻り値の欠落、初期化されていない変数などに関する偽の警告を避けることができます。

  これは、静的コードアナライザでは特に重要である - 私たちはnoreturnとして私達のdie機能（致命的なエラーを記録し、アプリケーションを終了する）をマークしたら、私たちの大きめのアプリケーションで打ち鳴らす静的アナライザによって与えられた偽陽性の数が大幅に低下しました。

も利用できるいくつかの他の最適化があるかもしれません - 関数が戻ることはないため、スタック上のリターンアドレスをプッシュする必要はありません、レジスタと何の状態を保存し、必要だとすべてが渡すことです戻り値と戻り値のクリーンアップを心配することなく、関数の最初にjmpを実行します。もちろん、コールがワンショットなので、ここで絞り込むパフォーマンスはほとんど無視できます。

Answer 2

これにより、コンパイラによる追加の最適化が可能になります。

static __attribute__((noreturn)) void die(const char *fmt, ...) { 
    /* print a formatted error message and exit */ 
    exit(EXIT_FAILURE); 
} 
/* And let's say in main() you would want to exit because of an error but unforunately GCC complains about return value. */ 
int main() 
{ 
    if (!whatever) 
     die("a nasty error message goes here\n"); 
} 

そしてまた、などの最適化のために使用されます（セマンティクスはおそらく同じである）、それは今しばらくサポートGCCのnoreturn属性を見hereしてください

Answer 3

__attribute__((noreturn))または_Noreturnはdie()のように機能するのに便利です述べました。