終了関数のnoreturn属性は必要ですか？

Question

noreturn属性は決して返されない関数に必要ですか、これはちょうど（おそらく時期尚早ですか？ - 少なくとも出口については、私はそこで最適化する理由を想像できません）最適化ですか？

このような

void myexit(int s) _Noreturn { 
    exit(s); 
} 
// ... 
if (!p) { myexit(1); } 
f(*p); 
/// ... 

noreturnなどのコンテキスト内で最適化されてから!p枝を防止することを私に説明しました。 しかし、コンパイラがその分岐を最適化することは本当に許されていますか？ p == NULLの場合、逆参照はUBなので、pはこのコンテキストではNULLになることはありません。したがって、!pブランチはトリガしません。」というメッセージが表示されることがあります。しかし、コンパイラは、myexitが（明示的にそのようにマークされていなくても）返されない関数であると仮定することによって問題を解決することはできませんか？

Answer 1

これにより、いくつかの最適化が行われます。第1に、呼び出し自体のために、これは単純化されたセットアップを可能にし、すべてのレジスタを保存する必要はないが、callまたは類似の命令の代わりにjmp命令を使用することができる。通常のフローへの分岐が戻ってこないので、呼び出し後のコードを最適化することもできます。

はい、通常_Noreturnはコンパイラにとって貴重な情報です。

あなたの質問への直接的な答えとして、いいえ、これは最適化のためのプロパティなので、はではありません。

Answer 2

公理：標準ゆえassertが明確に定義されている使用して、C.

• 標準はassertを指定するには、明確に定義されているもので、明確なリソースです。
• assertは、abort、_Noreturnという関数を条件として呼び出します。したがって、これは許可されています。
• assertの使用方法はすべて関数内にあります。したがって、関数が返される場合もありません。

• 標準は、この例があります

  _Noreturn void g (int i) { // causes undefined behavior if i <= 0 
      if (i > 0) abort(); 
  } 
  

  したがって条件付き_Noreturnあってはならない返す関数。 これは意味：外部で定義された機能については

  • 、コンパイラが返されない場合があります機能を想定しており、「内部的に」定義された関数についてはif -branch
  • を最適化する自由はありませんが、コンパイラができますその関数が常にブランチを返すか最適化するかどうかを確認してください。どちらの場合も

は、コンパイルされたプログラムの動作は非最適化抽象Cマシンはどうなるのかと整合すると「として-場合は、」ルールが観察されます。