gccを使用してキャッチタイプのオーバーフローをキャッチ

Question

多くのタイプ変換とキャスティングがある従来のcプロジェクトがあります。

組み込み関数：BOOL __builtin_add_overflow（TYPE1のA、TYPE2のB、TYPE3 * RES）

通常オーバーフロー動的挙動を確認するために、 gcc（及びC langは）そのための組み込み関数を定義します

結果がオーバーフローした場合、関数はtrueを返します。そうすれば、私のプログラムはこの状態に遭遇し、それに従って行動するかもしれない。

レガシーコードを変更せずに同じ機能を持たせるために、組み込み関数がtrueを返す場合、gccにそのような組み込み関数を使用させ、指定された関数をキャッチャーとして呼び出すことは可能ですか？私は、私のようなものを見つけることができます希望：

無効_cyg_add_overflow_catcher（A、B、__FILE、LINEを）。

GCCはすでにinstrument functionsです。トレーサビリティとプロファイリングのために、コンセプトは変わっていません。 アイデア

Answer 1

これらの関数は、GCCによって効率的なasmシーケンスに下げられ、最終的なオブジェクトコードには存在しません。一方、UBSan modeでコンパイルされると、GCCはオーバーフロー時にlibubsan.soからの専用コールバックを呼び出します。これらのコールバックを実行可能ファイルでオーバーライドし、必要な処理を行うことができます（これはもちろんかなりハッキリです）。

GCCは、の符号付きの符号なしオーバーフローが標準で定義されているため、オーバーフローを追跡するだけです。