libavcodec/mpc7.c:83: error: Null Dereference
  pointer `&gb->buffer` last assigned on line 81 could be null and is dereferenced by call to `get_bits1()` at line 83, column 13.

libavcodec/mpc7.c:51:1: start of procedure mpc7_decode_init()
49. 
50. 
51. static av_cold int mpc7_decode_init(AVCodecContext * avctx)
    ^
52. {
53.     int i, j;

libavcodec/mpc7.c:54:5: 
52. {
53.     int i, j;
54.     MPCContext *c = avctx->priv_data;
        ^
55.     GetBitContext gb;
56.     LOCAL_ALIGNED_16(uint8_t, buf, [16]);

libavcodec/mpc7.c:56:5: 
54.     MPCContext *c = avctx->priv_data;
55.     GetBitContext gb;
56.     LOCAL_ALIGNED_16(uint8_t, buf, [16]);
        ^
57.     static int vlc_initialized = 0;
58. 

libavcodec/mpc7.c:57:5: 
55.     GetBitContext gb;
56.     LOCAL_ALIGNED_16(uint8_t, buf, [16]);
57.     static int vlc_initialized = 0;
        ^
58. 
59.     static VLC_TYPE scfi_table[1 << MPC7_SCFI_BITS][2];

libavcodec/mpc7.c:65:9: Taking false branch
63. 
64.     /* Musepack SV7 is always stereo */
65.     if (avctx->channels != 2) {
            ^
66.         av_log_ask_for_sample(avctx, "Unsupported number of channels: %d\n",
67.                               avctx->channels);

libavcodec/mpc7.c:71:8: Taking false branch
69.     }
70. 
71.     if(avctx->extradata_size < 16){
           ^
72.         av_log(avctx, AV_LOG_ERROR, "Too small extradata size (%i)!\n", avctx->extradata_size);
73.         return -1;

libavcodec/mpc7.c:75:5: 
73.         return -1;
74.     }
75.     memset(c->oldDSCF, 0, sizeof(c->oldDSCF));
        ^
76.     av_lfg_init(&c->rnd, 0xDEADBEEF);
77.     ff_dsputil_init(&c->dsp, avctx);

libavcodec/mpc7.c:76:5: Skipping av_lfg_init(): empty list of specs
74.     }
75.     memset(c->oldDSCF, 0, sizeof(c->oldDSCF));
76.     av_lfg_init(&c->rnd, 0xDEADBEEF);
        ^
77.     ff_dsputil_init(&c->dsp, avctx);
78.     ff_mpadsp_init(&c->mpadsp);

libavcodec/mpc7.c:77:5: Skipping ff_dsputil_init(): empty list of specs
75.     memset(c->oldDSCF, 0, sizeof(c->oldDSCF));
76.     av_lfg_init(&c->rnd, 0xDEADBEEF);
77.     ff_dsputil_init(&c->dsp, avctx);
        ^
78.     ff_mpadsp_init(&c->mpadsp);
79.     c->dsp.bswap_buf((uint32_t*)buf, (const uint32_t*)avctx->extradata, 4);

libavcodec/mpc7.c:78:5: 
76.     av_lfg_init(&c->rnd, 0xDEADBEEF);
77.     ff_dsputil_init(&c->dsp, avctx);
78.     ff_mpadsp_init(&c->mpadsp);
        ^
79.     c->dsp.bswap_buf((uint32_t*)buf, (const uint32_t*)avctx->extradata, 4);
80.     ff_mpc_init();

libavcodec/mpegaudiodsp.c:26:1: start of procedure ff_mpadsp_init()
  24. #include "dct32.h"
  25. 
  26. void ff_mpadsp_init(MPADSPContext *s)
      ^
  27. {
  28.     DCTContext dct;

libavcodec/mpegaudiodsp.c:30:5: Skipping ff_dct_init(): empty list of specs
  28.     DCTContext dct;
  29. 
  30.     ff_dct_init(&dct, 5, DCT_II);
          ^
  31.     ff_init_mpadsp_tabs_float();
  32.     ff_init_mpadsp_tabs_fixed();

libavcodec/mpegaudiodsp.c:31:5: Skipping ff_init_mpadsp_tabs_float(): method has no implementation
  29. 
  30.     ff_dct_init(&dct, 5, DCT_II);
  31.     ff_init_mpadsp_tabs_float();
          ^
  32.     ff_init_mpadsp_tabs_fixed();
  33. 

libavcodec/mpegaudiodsp.c:32:5: Skipping ff_init_mpadsp_tabs_fixed(): method has no implementation
  30.     ff_dct_init(&dct, 5, DCT_II);
  31.     ff_init_mpadsp_tabs_float();
  32.     ff_init_mpadsp_tabs_fixed();
          ^
  33. 
  34.     s->apply_window_float = ff_mpadsp_apply_window_float;

libavcodec/mpegaudiodsp.c:34:5: 
  32.     ff_init_mpadsp_tabs_fixed();
  33. 
  34.     s->apply_window_float = ff_mpadsp_apply_window_float;
          ^
  35.     s->apply_window_fixed = ff_mpadsp_apply_window_fixed;
  36. 

libavcodec/mpegaudiodsp.c:35:5: 
  33. 
  34.     s->apply_window_float = ff_mpadsp_apply_window_float;
  35.     s->apply_window_fixed = ff_mpadsp_apply_window_fixed;
          ^
  36. 
  37.     s->dct32_float = dct.dct32;

libavcodec/mpegaudiodsp.c:37:5: 
  35.     s->apply_window_fixed = ff_mpadsp_apply_window_fixed;
  36. 
  37.     s->dct32_float = dct.dct32;
          ^
  38.     s->dct32_fixed = ff_dct32_fixed;
  39. 

libavcodec/mpegaudiodsp.c:38:5: 
  36. 
  37.     s->dct32_float = dct.dct32;
  38.     s->dct32_fixed = ff_dct32_fixed;
          ^
  39. 
  40.     s->imdct36_blocks_float = ff_imdct36_blocks_float;

libavcodec/mpegaudiodsp.c:40:5: 
  38.     s->dct32_fixed = ff_dct32_fixed;
  39. 
  40.     s->imdct36_blocks_float = ff_imdct36_blocks_float;
          ^
  41.     s->imdct36_blocks_fixed = ff_imdct36_blocks_fixed;
  42. 

libavcodec/mpegaudiodsp.c:41:5: 
  39. 
  40.     s->imdct36_blocks_float = ff_imdct36_blocks_float;
  41.     s->imdct36_blocks_fixed = ff_imdct36_blocks_fixed;
          ^
  42. 
  43.     if (ARCH_ARM)     ff_mpadsp_init_arm(s);

libavcodec/mpegaudiodsp.c:43:9: Taking false branch
  41.     s->imdct36_blocks_fixed = ff_imdct36_blocks_fixed;
  42. 
  43.     if (ARCH_ARM)     ff_mpadsp_init_arm(s);
              ^
  44.     if (ARCH_X86)     ff_mpadsp_init_x86(s);
  45.     if (HAVE_ALTIVEC) ff_mpadsp_init_altivec(s);

libavcodec/mpegaudiodsp.c:44:9: Taking false branch
  42. 
  43.     if (ARCH_ARM)     ff_mpadsp_init_arm(s);
  44.     if (ARCH_X86)     ff_mpadsp_init_x86(s);
              ^
  45.     if (HAVE_ALTIVEC) ff_mpadsp_init_altivec(s);
  46. }

libavcodec/mpegaudiodsp.c:45:9: Taking false branch
  43.     if (ARCH_ARM)     ff_mpadsp_init_arm(s);
  44.     if (ARCH_X86)     ff_mpadsp_init_x86(s);
  45.     if (HAVE_ALTIVEC) ff_mpadsp_init_altivec(s);
              ^
  46. }

libavcodec/mpegaudiodsp.c:45:5: 
  43.     if (ARCH_ARM)     ff_mpadsp_init_arm(s);
  44.     if (ARCH_X86)     ff_mpadsp_init_x86(s);
  45.     if (HAVE_ALTIVEC) ff_mpadsp_init_altivec(s);
          ^
  46. }

libavcodec/mpegaudiodsp.c:46:1: return from a call to ff_mpadsp_init
  44.     if (ARCH_X86)     ff_mpadsp_init_x86(s);
  45.     if (HAVE_ALTIVEC) ff_mpadsp_init_altivec(s);
  46. }
      ^

libavcodec/mpc7.c:79:5: Skipping __function_pointer__(): unresolved function pointer
77.     ff_dsputil_init(&c->dsp, avctx);
78.     ff_mpadsp_init(&c->mpadsp);
79.     c->dsp.bswap_buf((uint32_t*)buf, (const uint32_t*)avctx->extradata, 4);
        ^
80.     ff_mpc_init();
81.     init_get_bits(&gb, buf, 128);

libavcodec/mpc7.c:80:5: 
78.     ff_mpadsp_init(&c->mpadsp);
79.     c->dsp.bswap_buf((uint32_t*)buf, (const uint32_t*)avctx->extradata, 4);
80.     ff_mpc_init();
        ^
81.     init_get_bits(&gb, buf, 128);
82. 

libavcodec/mpc.c:38:1: start of procedure ff_mpc_init()
  36. #include "mpcdata.h"
  37. 
  38. void ff_mpc_init(void)
      ^
  39. {
  40.     ff_mpa_synth_init_fixed(ff_mpa_synth_window_fixed);

libavcodec/mpc.c:40:5: Skipping ff_mpa_synth_init_fixed(): method has no implementation
  38. void ff_mpc_init(void)
  39. {
  40.     ff_mpa_synth_init_fixed(ff_mpa_synth_window_fixed);
          ^
  41. }
  42. 

libavcodec/mpc.c:41:1: return from a call to ff_mpc_init
  39. {
  40.     ff_mpa_synth_init_fixed(ff_mpa_synth_window_fixed);
  41. }
      ^
  42. 
  43. /**

libavcodec/mpc7.c:81:5: 
79.     c->dsp.bswap_buf((uint32_t*)buf, (const uint32_t*)avctx->extradata, 4);
80.     ff_mpc_init();
81.     init_get_bits(&gb, buf, 128);
        ^
82. 
83.     c->IS = get_bits1(&gb);

libavcodec/get_bits.h:352:1: start of procedure init_get_bits()
  350.  * @param bit_size the size of the buffer in bits
  351.  */
  352. static inline void init_get_bits(GetBitContext *s, const uint8_t *buffer,
       ^
  353.                                  int bit_size)
  354. {

libavcodec/get_bits.h:355:5: 
  353.                                  int bit_size)
  354. {
  355.     int buffer_size = (bit_size+7)>>3;
           ^
  356.     if (buffer_size < 0 || bit_size < 0) {
  357.         buffer_size = bit_size = 0;

libavcodec/get_bits.h:356:9: Taking true branch
  354. {
  355.     int buffer_size = (bit_size+7)>>3;
  356.     if (buffer_size < 0 || bit_size < 0) {
               ^
  357.         buffer_size = bit_size = 0;
  358.         buffer = NULL;

libavcodec/get_bits.h:357:9: 
  355.     int buffer_size = (bit_size+7)>>3;
  356.     if (buffer_size < 0 || bit_size < 0) {
  357.         buffer_size = bit_size = 0;
               ^
  358.         buffer = NULL;
  359.     }

libavcodec/get_bits.h:358:9: 
  356.     if (buffer_size < 0 || bit_size < 0) {
  357.         buffer_size = bit_size = 0;
  358.         buffer = NULL;
               ^
  359.     }
  360. 

libavcodec/get_bits.h:361:5: 
  359.     }
  360. 
  361.     s->buffer       = buffer;
           ^
  362.     s->size_in_bits = bit_size;
  363. #if !UNCHECKED_BITSTREAM_READER

libavcodec/get_bits.h:362:5: 
  360. 
  361.     s->buffer       = buffer;
  362.     s->size_in_bits = bit_size;
           ^
  363. #if !UNCHECKED_BITSTREAM_READER
  364.     s->size_in_bits_plus8 = bit_size + 8;

libavcodec/get_bits.h:364:5: 
  362.     s->size_in_bits = bit_size;
  363. #if !UNCHECKED_BITSTREAM_READER
  364.     s->size_in_bits_plus8 = bit_size + 8;
           ^
  365. #endif
  366.     s->buffer_end   = buffer + buffer_size;

libavcodec/get_bits.h:366:5: 
  364.     s->size_in_bits_plus8 = bit_size + 8;
  365. #endif
  366.     s->buffer_end   = buffer + buffer_size;
           ^
  367.     s->index        = 0;
  368. }

libavcodec/get_bits.h:367:5: 
  365. #endif
  366.     s->buffer_end   = buffer + buffer_size;
  367.     s->index        = 0;
           ^
  368. }
  369. 

libavcodec/get_bits.h:368:1: return from a call to init_get_bits
  366.     s->buffer_end   = buffer + buffer_size;
  367.     s->index        = 0;
  368. }
       ^
  369. 
  370. static inline void align_get_bits(GetBitContext *s)

libavcodec/mpc7.c:83:5: 
81.     init_get_bits(&gb, buf, 128);
82. 
83.     c->IS = get_bits1(&gb);
        ^
84.     c->MSS = get_bits1(&gb);
85.     c->maxbands = get_bits(&gb, 6);

libavcodec/get_bits.h:268:1: start of procedure get_bits1()
  266. }
  267. 
  268. static inline unsigned int get_bits1(GetBitContext *s)
       ^
  269. {
  270.     unsigned int index = s->index;

libavcodec/get_bits.h:270:5: 
  268. static inline unsigned int get_bits1(GetBitContext *s)
  269. {
  270.     unsigned int index = s->index;
           ^
  271.     uint8_t result = s->buffer[index>>3];
  272. #ifdef BITSTREAM_READER_LE

libavcodec/get_bits.h:271:5: 
  269. {
  270.     unsigned int index = s->index;
  271.     uint8_t result = s->buffer[index>>3];
           ^
  272. #ifdef BITSTREAM_READER_LE
  273.     result >>= index & 7;
