On 23/01/13 11:32, Martin Storsjö wrote:
> From: Xi Wang <[email protected]>
> 
> Sanity checks like `data + size >= data_end || data + size < data' are
> broken, because `data + size < data' assumes pointer overflow, which is
> undefined behavior in C.  Many compilers such as gcc/clang optimize such
> checks away.
> 
> Use `size < 0 || size >= data_end - data' instead.
> 
> Signed-off-by: Xi Wang <[email protected]>
> ---
>  libavformat/rtmppkt.c |   12 ++++++------
>  1 file changed, 6 insertions(+), 6 deletions(-)
> 

Looks fine.

_______________________________________________
libav-devel mailing list
[email protected]
https://lists.libav.org/mailman/listinfo/libav-devel

Reply via email to