Function safe_add

src/util/math_util.c:12–20

computes x + y returns to true if x+y overflowed

// computes x + y
// returns to true if x+y overflowed
bool safe_add
(
	int x,  // x
	int y,  // y
	int *z  // x+y
) {
	ASSERT(z != NULL);
	return __builtin_add_overflow(x, y, z);
}

// computes x * y
// returns to true if x*y overflowed