c - C 変数に値を代入しているときにオーバーフローが発生したかどうかを確認するために assert を使用できますか?

Question

assert私は最近、C でデバッグに使用できることを知りました。

入力がゼロでないことを確認するために、以下の C スニペットを書きました。

サンプルコード --

#include <stdio.h>
#include <assert.h>
int main(){
    int a;
    scanf("%d",&a);
    assert(a != 0);
    return 0;
}

assertC で変数割り当てのオーバーフローをチェックするために使用できるかどうかを尋ねたいですか?

Answer 1

例えば：

long a = X;
int  b = a + 40;
assert((long)b == a + 40);