libavcodec/hqx.c:111: error: Integer Overflow L2
  ([max(0, `ac->lut->bits`), max(0, `ac->lut->bits`)] - [`bc->bits_left`, `bc->bits_left` + 32]):unsigned32 by call to `bitstream_skip`.

libavcodec/hqx.c:98:1: Parameter `ac->lut->bits`
 96. }
 97. 
 98. static inline void hqx_get_ac(BitstreamContext *bc, const HQXAC *ac,
     ^
 99.                               int *run, int *lev)
100. {

libavcodec/hqx.c:111:5: Call
109.     *run = ac->lut[val].run;
110.     *lev = ac->lut[val].lev;
111.     bitstream_skip(bc, ac->lut[val].bits);
         ^
112. }
113. 

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: ([max(0, ac->lut->bits), max(0, ac->lut->bits)] - [bc->bits_left, bc->bits_left + 32]):unsigned32 by call to `bitstream_skip` 
  243.         skip_remaining(bc, n);
  244.     else {
  245.         n -= bc->bits_left;
               ^
  246.         bc->bits      = 0;
  247.         bc->bits_left = 0;

static inline void bitstream_skip(BitstreamContext *bc, unsigned n)
{
    if (n < bc->bits_left)
        skip_remaining(bc, n);
    else {
        n -= bc->bits_left;
        bc->bits      = 0;
        bc->bits_left = 0;
        if (n >= 64) {
            unsigned skip = n / 8;
            n -= skip * 8;
            bc->ptr += skip;
        }
        refill_64(bc);
        if (n)
            skip_remaining(bc, n);
    }
}
['static inline void hqx_get_ac(BitstreamContext *bc, const HQXAC *ac,\n                              int *run, int *lev)\n{\n    int val;\n    val = bitstream_peek(bc, ac->lut_bits);\n    if (ac->lut[val].bits == -1) {\n        BitstreamContext bc2 = *bc;\n        bitstream_skip(&bc2, ac->lut_bits);\n        val = ac->lut[val].lev + bitstream_peek(&bc2, ac->extra_bits);\n    }\n    *run = ac->lut[val].run;\n    *lev = ac->lut[val].lev;\n    bitstream_skip(bc, ac->lut[val].bits);\n}', 'static inline void bitstream_skip(BitstreamContext *bc, unsigned n)\n{\n    if (n < bc->bits_left)\n        skip_remaining(bc, n);\n    else {\n        n -= bc->bits_left;\n        bc->bits      = 0;\n        bc->bits_left = 0;\n        if (n >= 64) {\n            unsigned skip = n / 8;\n            n -= skip * 8;\n            bc->ptr += skip;\n        }\n        refill_64(bc);\n        if (n)\n            skip_remaining(bc, n);\n    }\n}']