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

[FFmpeg]

#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