ckd_add の使い方

整数の加算をオーバーフローの有無を検出しながら実行するC23の型総称マクロ。結果をresultへ格納し、オーバーフローしていればtrueを返す。セキュリティ上重要な整数演算の安全化に使う。 C23以前は自前でオーバーフロー判定用の条件式を書く必要があり、ミスが起きやすかった問題を解決するために追加された。

#include <stdckdint.h>
#include <stdio.h>
int main(void) {
    int result;
    if (ckd_add(&result, 2000000000, 2000000000)) {
        puts("オーバーフローしました（resultは使いません）");
        return 1;
    }
    printf("%d\n", result);
    return 0;
}