Error: assuming signed overflow does not occur when assuming that (X - c) > X is always false [-Werror=strict-overflow]