# HG changeset patch
# User reimar
# Date 1346443724 0
# Node ID 560a69dffd71a2f87e47ceb2b49edc41c8ca0553
# Parent  848835e1b05306aa05ceb57afd152ebd3d7007ea
Detect broken mpi usage count also in decoder.

diff -r 848835e1b053 -r 560a69dffd71 libmpcodecs/vd_ffmpeg.c
--- a/libmpcodecs/vd_ffmpeg.c	Fri Aug 31 19:52:31 2012 +0000
+++ b/libmpcodecs/vd_ffmpeg.c	Fri Aug 31 20:08:44 2012 +0000
@@ -707,6 +707,10 @@
     if (mpi) {
         // release mpi (in case MPI_IMGTYPE_NUMBERED is used, e.g. for VDPAU)
         mpi->usage_count--;
+        if (mpi->usage_count < 0) {
+            mp_msg(MSGT_DECVIDEO, MSGL_ERR, "Bad mp_image usage count, please report!\n");
+            mpi->usage_count = 0;
+        }
     }
 
     for(i=0; i<4; i++){