[FFmpeg-devel] [PATCH] cafdec: fix overflow checking in read_header()
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.
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
Size: 198 bytes
Desc: Digital signature
More information about the ffmpeg-devel