diff options
author | Marton Balint <cus@passwd.hu> | 2013-06-04 23:23:09 +0200 |
---|---|---|
committer | Marton Balint <cus@passwd.hu> | 2013-06-17 01:18:07 +0200 |
commit | f73d6d2af7a2b30a647d945b590962a2ab54ff3b (patch) | |
tree | 45d0af63feba3538155ec44541beea6cf27dab34 /ffplay.c | |
parent | 95275551ef280deadb73d04bad0472486e497115 (diff) | |
download | ffmpeg-f73d6d2af7a2b30a647d945b590962a2ab54ff3b.tar.gz |
ffplay: cast vp->height to int64 in buffer size check
Fixes Coverity CID 1026769 and 1026756.
Signed-off-by: Marton Balint <cus@passwd.hu>
Diffstat (limited to 'ffplay.c')
-rw-r--r-- | ffplay.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1518,7 +1518,7 @@ static void alloc_picture(VideoState *is) SDL_YV12_OVERLAY, screen); bufferdiff = vp->bmp ? FFMAX(vp->bmp->pixels[0], vp->bmp->pixels[1]) - FFMIN(vp->bmp->pixels[0], vp->bmp->pixels[1]) : 0; - if (!vp->bmp || vp->bmp->pitches[0] < vp->width || bufferdiff < vp->height * vp->bmp->pitches[0]) { + if (!vp->bmp || vp->bmp->pitches[0] < vp->width || bufferdiff < (int64_t)vp->height * vp->bmp->pitches[0]) { /* SDL allocates a buffer smaller than requested if the video * overlay hardware is unable to support the requested size. */ av_log(NULL, AV_LOG_FATAL, |