Function CanAdd

include/bmpread/bmpread.c:66–69

I've tried to make every effort to remove the possibility of undefined * behavior and prevent related errors where maliciously crafted files could * lead to buffer overflows or the like. To that end, we'll start with some * functions that check various operations for behaving as expected. This one * returns nonzero if the two size_ts can be added without wrapping, or 0 if * the result would

 * the result would wrap.
 */
static int CanAdd(size_t a, size_t b)
{
    return a <= SIZE_MAX - b;
}

/* Returns nonzero if the two size_ts can be multiplied without wrapping, or 0
 * if the result would wrap.  b must not be 0 (we don't even check here since