blob: 1c59c2cb7079378c33157a92e35260d0270caf07 [file] [log] [blame]
#include <stdio.h>
int overflow_add_32(int x, int y)
{
int res;
return __builtin_add_overflow(x, y, &res);
}
int overflow_add_64(long long x, long long y)
{
long long res;
return __builtin_add_overflow(x, y, &res);
}
int overflow_sub_32(int x, int y)
{
int res;
return __builtin_sub_overflow(x, y, &res);
}
int overflow_sub_64(long long x, long long y)
{
long long res;
return __builtin_sub_overflow(x, y, &res);
}
int a1_add = -2147483648;
int b1_add = -2147483648;
long long a2_add = -9223372036854775808ULL;
long long b2_add = -9223372036854775808ULL;
int a1_sub;
int b1_sub = -2147483648;
long long a2_sub = 0L;
long long b2_sub = -9223372036854775808ULL;
int main()
{
int ret = 0;
if (!overflow_add_32(a1_add, b1_add)) {
fprintf(stderr, "data overflow while adding 32 bits\n");
ret = 1;
}
if (!overflow_add_64(a2_add, b2_add)) {
fprintf(stderr, "data overflow while adding 64 bits\n");
ret = 1;
}
if (!overflow_sub_32(a1_sub, b1_sub)) {
fprintf(stderr, "data overflow while subtracting 32 bits\n");
ret = 1;
}
if (!overflow_sub_64(a2_sub, b2_sub)) {
fprintf(stderr, "data overflow while subtracting 64 bits\n");
ret = 1;
}
return ret;
}