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

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

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

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

libavcodec/mpc7.c:63:8: Taking false branch
61.     static VLC_TYPE quant_tables[7224][2];
62. 
63.     if(avctx->extradata_size < 16){
           ^
64.         av_log(avctx, AV_LOG_ERROR, "Too small extradata size (%i)!\n", avctx->extradata_size);
65.         return -1;

libavcodec/mpc7.c:67:5: 
65.         return -1;
66.     }
67.     memset(c->oldDSCF, 0, sizeof(c->oldDSCF));
        ^
68.     av_lfg_init(&c->rnd, 0xDEADBEEF);
69.     dsputil_init(&c->dsp, avctx);

libavcodec/mpc7.c:68:5: Skipping av_lfg_init(): empty list of specs
66.     }
67.     memset(c->oldDSCF, 0, sizeof(c->oldDSCF));
68.     av_lfg_init(&c->rnd, 0xDEADBEEF);
        ^
69.     dsputil_init(&c->dsp, avctx);
70.     c->dsp.bswap_buf((uint32_t*)buf, (const uint32_t*)avctx->extradata, 4);

libavcodec/mpc7.c:69:5: Skipping dsputil_init(): empty list of specs
67.     memset(c->oldDSCF, 0, sizeof(c->oldDSCF));
68.     av_lfg_init(&c->rnd, 0xDEADBEEF);
69.     dsputil_init(&c->dsp, avctx);
        ^
70.     c->dsp.bswap_buf((uint32_t*)buf, (const uint32_t*)avctx->extradata, 4);
71.     ff_mpc_init();

libavcodec/mpc7.c:70:5: Skipping __function_pointer__(): unresolved function pointer
68.     av_lfg_init(&c->rnd, 0xDEADBEEF);
69.     dsputil_init(&c->dsp, avctx);
70.     c->dsp.bswap_buf((uint32_t*)buf, (const uint32_t*)avctx->extradata, 4);
        ^
71.     ff_mpc_init();
72.     init_get_bits(&gb, buf, 128);

libavcodec/mpc7.c:71:5: 
69.     dsputil_init(&c->dsp, avctx);
70.     c->dsp.bswap_buf((uint32_t*)buf, (const uint32_t*)avctx->extradata, 4);
71.     ff_mpc_init();
        ^
72.     init_get_bits(&gb, buf, 128);
73. 

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

libavcodec/mpc.c:39:5: Skipping ff_mpa_synth_init(): empty list of specs
  37. void ff_mpc_init(void)
  38. {
  39.     ff_mpa_synth_init(ff_mpa_synth_window);
          ^
  40. }
  41. 

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

libavcodec/mpc7.c:72:5: 
70.     c->dsp.bswap_buf((uint32_t*)buf, (const uint32_t*)avctx->extradata, 4);
71.     ff_mpc_init();
72.     init_get_bits(&gb, buf, 128);
        ^
73. 
74.     c->IS = get_bits1(&gb);

libavcodec/get_bits.h:391:1: start of procedure init_get_bits()
  389.  * responsible for checking for the buffer end yourself (take advantage of the padding)!
  390.  */
  391. static inline void init_get_bits(GetBitContext *s,
       ^
  392.                    const uint8_t *buffer, int bit_size)
  393. {

libavcodec/get_bits.h:394:5: 
  392.                    const uint8_t *buffer, int bit_size)
  393. {
  394.     int buffer_size = (bit_size+7)>>3;
           ^
  395.     if (buffer_size < 0 || bit_size < 0) {
  396.         buffer_size = bit_size = 0;

libavcodec/get_bits.h:395:9: Taking true branch
  393. {
  394.     int buffer_size = (bit_size+7)>>3;
  395.     if (buffer_size < 0 || bit_size < 0) {
               ^
  396.         buffer_size = bit_size = 0;
  397.         buffer = NULL;

libavcodec/get_bits.h:396:9: 
  394.     int buffer_size = (bit_size+7)>>3;
  395.     if (buffer_size < 0 || bit_size < 0) {
  396.         buffer_size = bit_size = 0;
               ^
  397.         buffer = NULL;
  398.     }

libavcodec/get_bits.h:397:9: 
  395.     if (buffer_size < 0 || bit_size < 0) {
  396.         buffer_size = bit_size = 0;
  397.         buffer = NULL;
               ^
  398.     }
  399. 

libavcodec/get_bits.h:400:5: 
  398.     }
  399. 
  400.     s->buffer       = buffer;
           ^
  401.     s->size_in_bits = bit_size;
  402.     s->buffer_end   = buffer + buffer_size;

libavcodec/get_bits.h:401:5: 
  399. 
  400.     s->buffer       = buffer;
  401.     s->size_in_bits = bit_size;
           ^
  402.     s->buffer_end   = buffer + buffer_size;
  403. #ifdef ALT_BITSTREAM_READER

libavcodec/get_bits.h:402:5: 
  400.     s->buffer       = buffer;
  401.     s->size_in_bits = bit_size;
  402.     s->buffer_end   = buffer + buffer_size;
           ^
  403. #ifdef ALT_BITSTREAM_READER
  404.     s->index        = 0;

libavcodec/get_bits.h:404:5: 
  402.     s->buffer_end   = buffer + buffer_size;
  403. #ifdef ALT_BITSTREAM_READER
  404.     s->index        = 0;
           ^
  405. #elif defined A32_BITSTREAM_READER
  406.     s->buffer_ptr   = (uint32_t*)((intptr_t)buffer & ~3);

libavcodec/get_bits.h:410:1: return from a call to init_get_bits
  408.     skip_bits_long(s, 0);
  409. #endif
  410. }
       ^
  411. 
  412. static inline void align_get_bits(GetBitContext *s)

libavcodec/mpc7.c:74:5: 
72.     init_get_bits(&gb, buf, 128);
73. 
74.     c->IS = get_bits1(&gb);
        ^
75.     c->MSS = get_bits1(&gb);
76.     c->maxbands = get_bits(&gb, 6);

libavcodec/get_bits.h:311:1: start of procedure get_bits1()
  309. }
  310. 
  311. static inline unsigned int get_bits1(GetBitContext *s){
       ^
  312. #ifdef ALT_BITSTREAM_READER
  313.     unsigned int index = s->index;

libavcodec/get_bits.h:313:5: 
  311. static inline unsigned int get_bits1(GetBitContext *s){
  312. #ifdef ALT_BITSTREAM_READER
  313.     unsigned int index = s->index;
           ^
  314.     uint8_t result = s->buffer[index>>3];
  315. #ifdef ALT_BITSTREAM_READER_LE

libavcodec/get_bits.h:314:5: 
  312. #ifdef ALT_BITSTREAM_READER
  313.     unsigned int index = s->index;
  314.     uint8_t result = s->buffer[index>>3];
           ^
  315. #ifdef ALT_BITSTREAM_READER_LE
  316.     result >>= index & 7;
