int avcodec_check_dimensions(void *av_log_ctx, unsigned int w, unsigned int h){

    if((int)w>0 && (int)h>0 && (w+128)*(uint64_t)(h+128) < INT_MAX/4)

        return 0;



    av_log(av_log_ctx, AV_LOG_ERROR, "picture size invalid (%ux%u)\n", w, h);

    return -1;

}

int avcodec_check_dimensions(void *av_log_ctx, unsigned int w, unsigned int h){

    if((int)w>0 && (int)h>0 && (w+128)*(uint64_t)(h+128) < INT_MAX/4)

        return 0;



    av_log(av_log_ctx, AV_LOG_ERROR, "picture size invalid (%ux%u)\n", w, h);

    return -1;

}

int FUNC_0(void *VAR_0, unsigned int VAR_1, unsigned int VAR_2){

    if((int)VAR_1>0 && (int)VAR_2>0 && (VAR_1+128)*(uint64_t)(VAR_2+128) < INT_MAX/4)

        return 0;



    av_log(VAR_0, AV_LOG_ERROR, "picture size invalid (%ux%u)\n", VAR_1, VAR_2);

    return -1;

}

int FUNC_0(void *VAR_0, unsigned int VAR_1, unsigned int VAR_2){ if((int)VAR_1>0 && (int)VAR_2>0 && (VAR_1+128)*(uint64_t)(VAR_2+128) < INT_MAX/4)
return 0; av_log(VAR_0, AV_LOG_ERROR, "picture size invalid (%ux%u)\n", VAR_1, VAR_2); return -1; }