libavcodec/ac3dsp.c:84: error: Integer Overflow L2
  ([min(1, `len`), `len`] - 8):unsigned32.

libavcodec/ac3dsp.c:72:1: <LHS trace>
70. }
71. 
72. static void ac3_rshift_int32_c(int32_t *src, unsigned int len,
    ^
73.                                unsigned int shift)
74. {

libavcodec/ac3dsp.c:72:1: Parameter `len`
70. }
71. 
72. static void ac3_rshift_int32_c(int32_t *src, unsigned int len,
    ^
73.                                unsigned int shift)
74. {

libavcodec/ac3dsp.c:84:9: Binary operation: ([min(1, len), len] - 8):unsigned32
82.         *src++ >>= shift;
83.         *src++ >>= shift;
84.         len -= 8;
            ^
85.     } while (len > 0);
86. }

static void ac3_rshift_int32_c(int32_t *src, unsigned int len,
                               unsigned int shift)
{
    do {
        *src++ >>= shift;
        *src++ >>= shift;
        *src++ >>= shift;
        *src++ >>= shift;
        *src++ >>= shift;
        *src++ >>= shift;
        *src++ >>= shift;
        *src++ >>= shift;
        len -= 8;
    } while (len > 0);
}
['static void ac3_rshift_int32_c(int32_t *src, unsigned int len,\n                               unsigned int shift)\n{\n    do {\n        *src++ >>= shift;\n        *src++ >>= shift;\n        *src++ >>= shift;\n        *src++ >>= shift;\n        *src++ >>= shift;\n        *src++ >>= shift;\n        *src++ >>= shift;\n        *src++ >>= shift;\n        len -= 8;\n    } while (len > 0);\n}']