mirror of
https://git.ffmpeg.org/ffmpeg.git
synced 2026-05-30 12:17:47 +02:00
2f056def65
Fixes Coverity issue #1473568. Reviewed-by: Guo, Yejun <yejun.guo@intel.com> Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@gmail.com>