[FFmpeg-trac] #7997(avcodec:closed): undefined-behavior at libavcodec/proresenc_anatoliy.c

FFmpeg trac at avcodec.org
Thu Jan 9 17:18:05 EET 2020

#7997: undefined-behavior at libavcodec/proresenc_anatoliy.c
             Reporter:  Suhwan      |                    Owner:
                 Type:  defect      |                   Status:  closed
             Priority:  normal      |                Component:  avcodec
              Version:  git-master  |               Resolution:  fixed
             Keywords:  ubsan       |               Blocked By:
             Blocking:              |  Reproduced by developer:  0
Analyzed by developer:  0           |

Comment (by Balling):

 Replying to [comment:4 mkver]:
 >FFmpeg requires this to use sign-extension That's also why UBSan doesn't
 complain about the right shift.
 "Implemenation defined" is the compiler decision, ffmpeg cannot require it
 ;) Just saying.

Ticket URL: <https://trac.ffmpeg.org/ticket/7997#comment:5>
FFmpeg <https://ffmpeg.org>
FFmpeg issue tracker

More information about the FFmpeg-trac mailing list