208         if (!(ctx->divx_version == 500 && ctx->divx_build == 413))  in mpeg4_decode_sprite_trajectory()
230     if (ctx->divx_version == 500 && ctx->divx_build == 413) {  in mpeg4_decode_sprite_trajectory()
599         if (ctx->divx_version == 500 && ctx->divx_build == 413 && a >= s->quarter_sample)  in get_amv()
2693         ctx->divx_version = ver;  in decode_user_data()
2734     if (ctx->xvid_build == -1 && ctx->divx_version == -1 && ctx->lavc_build == -1) {  in ff_mpeg4_workaround_bugs()
2743     if (ctx->xvid_build == -1 && ctx->divx_version == -1 && ctx->lavc_build == -1)  in ff_mpeg4_workaround_bugs()
2746             ctx->divx_version = 400;  // divx 4  in ff_mpeg4_workaround_bugs()
2748     if (ctx->xvid_build >= 0 && ctx->divx_version >= 0) {  in ff_mpeg4_workaround_bugs()
2749         ctx->divx_version =  in ff_mpeg4_workaround_bugs()
2760         if (ctx->divx_version >= 500 && ctx->divx_build < 1814)  in ff_mpeg4_workaround_bugs()
2763         if (ctx->divx_version > 502 && ctx->divx_build < 1814)  in ff_mpeg4_workaround_bugs()
2802         if (ctx->divx_version >= 0)  in ff_mpeg4_workaround_bugs()
2804         if (ctx->divx_version == 501 && ctx->divx_build == 20020416)  in ff_mpeg4_workaround_bugs()
2807         if (ctx->divx_version < 500U)  in ff_mpeg4_workaround_bugs()
2810         if (ctx->divx_version >= 0)  in ff_mpeg4_workaround_bugs()
2834                ctx->divx_version, ctx->divx_build, s->divx_packed ? "p" : "");  in ff_mpeg4_workaround_bugs()
3102         ctx->divx_version == -1 && s->picture_number == 0) {  in decode_vop_header()
3247 …             (ctx->divx_version >= 0 || ctx->xvid_build >= 0) || s->codec_tag == AV_RL32("QMP4")) {  in ff_mpeg4_decode_picture_header()
3479     s->divx_version              = s1->divx_version;  in mpeg4_update_thread_context()
3534     ctx->divx_version =  in decode_init()