Function stbi__mul2sizes_valid

lite/example/cpp_example/mge/cv/stb_image.h:1039–1046

returns 1 if the product is valid, 0 on overflow. negative factors are considered invalid.

// returns 1 if the product is valid, 0 on overflow.
// negative factors are considered invalid.
static int stbi__mul2sizes_valid(int a, int b) {
    if (a < 0 || b < 0)
        return 0;
    if (b == 0)
        return 1;  // mul-by-0 is always safe
    // portable way to check for no overflows in a*b
    return a <= INT_MAX / b;
}

#if !defined(STBI_NO_JPEG) || !defined(STBI_NO_PNG) || !defined(STBI_NO_TGA) || \
        !defined(STBI_NO_HDR)