libavcodec/aacsbr.c:1681: error: Integer Overflow L2
  ([0, +oo] - [min(32, `sbr->kx[*]`), max(32, `sbr->kx[*]`)]):unsigned32 by call to `sbr_mapping`.

libavcodec/aacsbr.c:1648:1: Parameter `sbr->kx[*]`
1646. }
1647. 
1648. void ff_sbr_apply(AACContext *ac, SpectralBandReplication *sbr, int id_aac,
      ^
1649.                   float* L, float* R)
1650. {

libavcodec/aacsbr.c:1681:19: Call
1679. 
1680.             // hf_adj
1681.             err = sbr_mapping(ac, sbr, &sbr->data[ch], sbr->data[ch].e_a);
                        ^
1682.             if (!err) {
1683.                 sbr_env_estimate(sbr->e_curr, sbr->X_high, sbr, &sbr->data[ch]);

libavcodec/aacsbr.c:1402:1: <LHS trace>
1400.  * (14496-3 sp04 p217)
1401.  */
1402. static int sbr_mapping(AACContext *ac, SpectralBandReplication *sbr,
      ^
1403.                         SBRData *ch_data, int e_a[2])
1404. {

libavcodec/aacsbr.c:1402:1: Parameter `sbr->f_tablehigh[*]`
  1400.  * (14496-3 sp04 p217)
  1401.  */
  1402. static int sbr_mapping(AACContext *ac, SpectralBandReplication *sbr,
        ^
  1403.                         SBRData *ch_data, int e_a[2])
  1404. {

libavcodec/aacsbr.c:1431:17: Assignment
  1429.         for (i = 0; i < sbr->n[1]; i++) {
  1430.             if (ch_data->bs_add_harmonic_flag) {
  1431.                 const unsigned int m_midpoint =
                        ^
  1432.                     (sbr->f_tablehigh[i] + sbr->f_tablehigh[i + 1]) >> 1;
  1433. 

libavcodec/aacsbr.c:1402:1: <RHS trace>
1400.  * (14496-3 sp04 p217)
1401.  */
1402. static int sbr_mapping(AACContext *ac, SpectralBandReplication *sbr,
      ^
1403.                         SBRData *ch_data, int e_a[2])
1404. {

libavcodec/aacsbr.c:1402:1: Parameter `sbr->kx[*]`
  1400.  * (14496-3 sp04 p217)
  1401.  */
  1402. static int sbr_mapping(AACContext *ac, SpectralBandReplication *sbr,
        ^
  1403.                         SBRData *ch_data, int e_a[2])
  1404. {

libavcodec/aacsbr.c:1434:17: Binary operation: ([0, +oo] - [min(32, sbr->kx[*]), max(32, sbr->kx[*])]):unsigned32 by call to `sbr_mapping` 
  1432.                     (sbr->f_tablehigh[i] + sbr->f_tablehigh[i + 1]) >> 1;
  1433. 
  1434.                 ch_data->s_indexmapped[e + 1][m_midpoint - sbr->kx[1]] = ch_data->bs_add_harmonic[i] *
                        ^
  1435.                     (e >= e_a[1] || (ch_data->s_indexmapped[0][m_midpoint - sbr->kx[1]] == 1));
  1436.             }
