[FFmpeg-devel] [PATCH] cafdec: fix overflow checking in read_header()

Michael Niedermayer michaelni at gmx.at
Sun Jan 20 21:34:55 CET 2013

On Sun, Jan 20, 2013 at 03:26:12PM -0500, Xi Wang wrote:
> Several compilers such as clang/icc/pathscale will optimize the check
> pos + size < pos (assuming size > 0) into false, since signed integer
> overflow is undefined behavior in C.  This breaks overflow checking.
> Use a safe precondition check instead.

patch applied


Michael     GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB

Into a blind darkness they enter who follow after the Ignorance,
they as if into a greater darkness enter who devote themselves
to the Knowledge alone. -- Isha Upanishad
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: Digital signature
URL: <http://ffmpeg.org/pipermail/ffmpeg-devel/attachments/20130120/91a41a03/attachment.asc>

More information about the ffmpeg-devel mailing list