libavcodec/atrac3plus.c:508: error: Integer Overflow L2
  ([0, +oo] - 7):unsigned32.

libavcodec/atrac3plus.c:508:33: <LHS trace>
506.                 num_long_vals = bitstream_read(bc, 5);
507.                 delta_bits    = bitstream_read(bc, 2);
508.                 min_val       = bitstream_read(bc, 4) - 7;
                                     ^
509. 
510.                 for (i = 0; i < num_long_vals; i++)

libavcodec/atrac3plus.c:508:33: Call
506.                 num_long_vals = bitstream_read(bc, 5);
507.                 delta_bits    = bitstream_read(bc, 2);
508.                 min_val       = bitstream_read(bc, 4) - 7;
                                     ^
509. 
510.                 for (i = 0; i < num_long_vals; i++)

libavcodec/bitstream.h:186:9: Assignment
  184. {
  185.     if (!n)
  186.         return 0;
               ^
  187. 
  188.     if (n > bc->bits_left) {

libavcodec/atrac3plus.c:508:17: Binary operation: ([0, +oo] - 7):unsigned32
506.                 num_long_vals = bitstream_read(bc, 5);
507.                 delta_bits    = bitstream_read(bc, 2);
508.                 min_val       = bitstream_read(bc, 4) - 7;
                     ^
509. 
510.                 for (i = 0; i < num_long_vals; i++)
