My guess would be that they were thinking h <= SIZE_MAX / w, and added the most obvious logic to avoid a division by zero.