libavcodec/cavsdec.c:512: error: Integer Overflow L2
  ([0, +oo] - [`bc->bits_left`, `bc->bits_left` + 32]):unsigned32 by call to `get_ue_golomb`.

libavcodec/cavsdec.c:509:1: Parameter `bc->bits_left`
507. 
508. /** kth-order exponential golomb code */
509. static inline int get_ue_code(BitstreamContext *bc, int order)
     ^
510. {
511.     if (order) {

libavcodec/cavsdec.c:512:19: Call
510. {
511.     if (order) {
512.         int ret = get_ue_golomb(bc) << order;
                       ^
513.         return ret + bitstream_read(bc, order);
514.     }

libavcodec/golomb.h:53:1: Global `ff_golomb_vlc_len`
  51.  * read unsigned exp golomb code.
  52.  */
  53. static inline int get_ue_golomb(BitstreamContext *bc)
      ^
  54. {
  55.     unsigned int buf;

libavcodec/golomb.h:61:9: Call
  59.     if (buf >= (1 << 27)) {
  60.         buf >>= 32 - 9;
  61.         bitstream_skip(bc, ff_golomb_vlc_len[buf]);
              ^
  62. 
  63.         return ff_ue_golomb_vlc_code[buf];

libavcodec/bitstream.h:240:1: <LHS trace>
238. 
239. /* Skip n bits in the buffer. */
240. static inline void bitstream_skip(BitstreamContext *bc, unsigned n)
     ^
241. {
242.     if (n < bc->bits_left)

libavcodec/bitstream.h:240:1: Parameter `n`
    238. 
    239. /* Skip n bits in the buffer. */
    240. static inline void bitstream_skip(BitstreamContext *bc, unsigned n)
         ^
    241. {
    242.     if (n < bc->bits_left)

libavcodec/bitstream.h:240:1: <RHS trace>
238. 
239. /* Skip n bits in the buffer. */
240. static inline void bitstream_skip(BitstreamContext *bc, unsigned n)
     ^
241. {
242.     if (n < bc->bits_left)

libavcodec/bitstream.h:240:1: Parameter `n`
    238. 
    239. /* Skip n bits in the buffer. */
    240. static inline void bitstream_skip(BitstreamContext *bc, unsigned n)
         ^
    241. {
    242.     if (n < bc->bits_left)

libavcodec/bitstream.h:245:9: Binary operation: ([0, +oo] - [bc->bits_left, bc->bits_left + 32]):unsigned32 by call to `get_ue_golomb` 
    243.         skip_remaining(bc, n);
    244.     else {
    245.         n -= bc->bits_left;
                 ^
    246.         bc->bits      = 0;
    247.         bc->bits_left = 0;
