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

libavcodec/mpc7.c:43:1: start of procedure mpc7_decode_init()
41. static VLC scfi_vlc, dscf_vlc, hdr_vlc, quant_vlc[MPC7_QUANT_VLC_TABLES][2];
42. 
43. static av_cold int mpc7_decode_init(AVCodecContext * avctx)
    ^
44. {
45.     int i, j;

libavcodec/mpc7.c:46:5: 
44. {
45.     int i, j;
46.     MPCContext *c = avctx->priv_data;
        ^
47.     GetBitContext gb;
48.     uint8_t buf[16];

libavcodec/mpc7.c:49:5: 
47.     GetBitContext gb;
48.     uint8_t buf[16];
49.     static int vlc_initialized = 0;
        ^
50. 
51.     if(avctx->extradata_size < 16){

libavcodec/mpc7.c:51:8: Taking false branch
49.     static int vlc_initialized = 0;
50. 
51.     if(avctx->extradata_size < 16){
           ^
52.         av_log(avctx, AV_LOG_ERROR, "Too small extradata size (%i)!\n", avctx->extradata_size);
53.         return -1;

libavcodec/mpc7.c:55:5: 
53.         return -1;
54.     }
55.     memset(c->oldDSCF, 0, sizeof(c->oldDSCF));
        ^
56.     av_lfg_init(&c->rnd, 0xDEADBEEF);
57.     dsputil_init(&c->dsp, avctx);

libavcodec/mpc7.c:56:5: Skipping av_lfg_init(): empty list of specs
54.     }
55.     memset(c->oldDSCF, 0, sizeof(c->oldDSCF));
56.     av_lfg_init(&c->rnd, 0xDEADBEEF);
        ^
57.     dsputil_init(&c->dsp, avctx);
58.     c->dsp.bswap_buf((uint32_t*)buf, (const uint32_t*)avctx->extradata, 4);

libavcodec/mpc7.c:57:5: Skipping dsputil_init(): empty list of specs
55.     memset(c->oldDSCF, 0, sizeof(c->oldDSCF));
56.     av_lfg_init(&c->rnd, 0xDEADBEEF);
57.     dsputil_init(&c->dsp, avctx);
        ^
58.     c->dsp.bswap_buf((uint32_t*)buf, (const uint32_t*)avctx->extradata, 4);
59.     ff_mpc_init();

libavcodec/mpc7.c:58:5: Skipping __function_pointer__(): unresolved function pointer
56.     av_lfg_init(&c->rnd, 0xDEADBEEF);
57.     dsputil_init(&c->dsp, avctx);
58.     c->dsp.bswap_buf((uint32_t*)buf, (const uint32_t*)avctx->extradata, 4);
        ^
59.     ff_mpc_init();
60.     init_get_bits(&gb, buf, 128);

libavcodec/mpc7.c:59:5: 
57.     dsputil_init(&c->dsp, avctx);
58.     c->dsp.bswap_buf((uint32_t*)buf, (const uint32_t*)avctx->extradata, 4);
59.     ff_mpc_init();
        ^
60.     init_get_bits(&gb, buf, 128);
61. 

libavcodec/mpc.c:38:1: start of procedure ff_mpc_init()
  36. static DECLARE_ALIGNED_16(MPA_INT, mpa_window[512]);
  37. 
  38. void ff_mpc_init(void)
      ^
  39. {
  40.     ff_mpa_synth_init(mpa_window);

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

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

libavcodec/mpc7.c:60:5: 
58.     c->dsp.bswap_buf((uint32_t*)buf, (const uint32_t*)avctx->extradata, 4);
59.     ff_mpc_init();
60.     init_get_bits(&gb, buf, 128);
        ^
61. 
62.     c->IS = get_bits1(&gb);

libavcodec/bitstream.h:743:1: start of procedure init_get_bits()
  741.  * @param bit_size the size of the buffer in bits
  742.  */
  743. static inline void init_get_bits(GetBitContext *s,
       ^
  744.                    const uint8_t *buffer, int bit_size)
  745. {

libavcodec/bitstream.h:746:5: 
  744.                    const uint8_t *buffer, int bit_size)
  745. {
  746.     int buffer_size= (bit_size+7)>>3;
           ^
  747.     if(buffer_size < 0 || bit_size < 0) {
  748.         buffer_size = bit_size = 0;

libavcodec/bitstream.h:747:8: Taking true branch
  745. {
  746.     int buffer_size= (bit_size+7)>>3;
  747.     if(buffer_size < 0 || bit_size < 0) {
              ^
  748.         buffer_size = bit_size = 0;
  749.         buffer = NULL;

libavcodec/bitstream.h:748:9: 
  746.     int buffer_size= (bit_size+7)>>3;
  747.     if(buffer_size < 0 || bit_size < 0) {
  748.         buffer_size = bit_size = 0;
               ^
  749.         buffer = NULL;
  750.     }

libavcodec/bitstream.h:749:9: 
  747.     if(buffer_size < 0 || bit_size < 0) {
  748.         buffer_size = bit_size = 0;
  749.         buffer = NULL;
               ^
  750.     }
  751. 

libavcodec/bitstream.h:752:5: 
  750.     }
  751. 
  752.     s->buffer= buffer;
           ^
  753.     s->size_in_bits= bit_size;
  754.     s->buffer_end= buffer + buffer_size;

libavcodec/bitstream.h:753:5: 
  751. 
  752.     s->buffer= buffer;
  753.     s->size_in_bits= bit_size;
           ^
  754.     s->buffer_end= buffer + buffer_size;
  755. #ifdef ALT_BITSTREAM_READER

libavcodec/bitstream.h:754:5: 
  752.     s->buffer= buffer;
  753.     s->size_in_bits= bit_size;
  754.     s->buffer_end= buffer + buffer_size;
           ^
  755. #ifdef ALT_BITSTREAM_READER
  756.     s->index=0;

libavcodec/bitstream.h:756:5: 
  754.     s->buffer_end= buffer + buffer_size;
  755. #ifdef ALT_BITSTREAM_READER
  756.     s->index=0;
           ^
  757. #elif defined LIBMPEG2_BITSTREAM_READER
  758.     s->buffer_ptr = (uint8_t*)((intptr_t)buffer&(~1));

libavcodec/bitstream.h:766:1: return from a call to init_get_bits
  764.     skip_bits_long(s, 0);
  765. #endif
  766. }
       ^
  767. 
  768. static inline void align_get_bits(GetBitContext *s)

libavcodec/mpc7.c:62:5: 
60.     init_get_bits(&gb, buf, 128);
61. 
62.     c->IS = get_bits1(&gb);
        ^
63.     c->MSS = get_bits1(&gb);
64.     c->maxbands = get_bits(&gb, 6);

libavcodec/bitstream.h:666:1: start of procedure get_bits1()
  664. }
  665. 
  666. static inline unsigned int get_bits1(GetBitContext *s){
       ^
  667. #ifdef ALT_BITSTREAM_READER
  668.     int index= s->index;

libavcodec/bitstream.h:668:5: 
  666. static inline unsigned int get_bits1(GetBitContext *s){
  667. #ifdef ALT_BITSTREAM_READER
  668.     int index= s->index;
           ^
  669.     uint8_t result= s->buffer[ index>>3 ];
  670. #ifdef ALT_BITSTREAM_READER_LE

libavcodec/bitstream.h:669:5: 
  667. #ifdef ALT_BITSTREAM_READER
  668.     int index= s->index;
  669.     uint8_t result= s->buffer[ index>>3 ];
           ^
  670. #ifdef ALT_BITSTREAM_READER_LE
  671.     result>>= (index&0x07);
