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

libavcodec/mpc7.c:159:1: start of procedure mpc7_decode_frame()
157. }
158. 
159. static int mpc7_decode_frame(AVCodecContext * avctx,
     ^
160.                             void *data, int *data_size,
161.                             const uint8_t * buf, int buf_size)

libavcodec/mpc7.c:163:5: 
161.                             const uint8_t * buf, int buf_size)
162. {
163.     MPCContext *c = avctx->priv_data;
         ^
164.     GetBitContext gb;
165.     uint8_t *bits;

libavcodec/mpc7.c:167:5: 
165.     uint8_t *bits;
166.     int i, ch, t;
167.     int mb = -1;
         ^
168.     Band *bands = c->bands;
169.     int off;

libavcodec/mpc7.c:168:5: 
166.     int i, ch, t;
167.     int mb = -1;
168.     Band *bands = c->bands;
         ^
169.     int off;
170.     int bits_used, bits_avail;

libavcodec/mpc7.c:172:5: 
170.     int bits_used, bits_avail;
171. 
172.     memset(bands, 0, sizeof(bands));
         ^
173.     if(buf_size <= 4){
174.         av_log(avctx, AV_LOG_ERROR, "Too small buffer passed (%i bytes)\n", buf_size);

libavcodec/mpc7.c:173:8: Taking true branch
171. 
172.     memset(bands, 0, sizeof(bands));
173.     if(buf_size <= 4){
            ^
174.         av_log(avctx, AV_LOG_ERROR, "Too small buffer passed (%i bytes)\n", buf_size);
175.     }

libavcodec/mpc7.c:174:9: Skipping av_log(): empty list of specs
172.     memset(bands, 0, sizeof(bands));
173.     if(buf_size <= 4){
174.         av_log(avctx, AV_LOG_ERROR, "Too small buffer passed (%i bytes)\n", buf_size);
             ^
175.     }
176. 

libavcodec/mpc7.c:177:5: 
175.     }
176. 
177.     bits = av_malloc(((buf_size - 1) & ~3) + FF_INPUT_BUFFER_PADDING_SIZE);
         ^
178.     c->dsp.bswap_buf((uint32_t*)bits, (const uint32_t*)(buf + 4), (buf_size - 4) >> 2);
179.     init_get_bits(&gb, bits, (buf_size - 4)* 8);

libavutil/mem.c:42:1: start of procedure av_malloc()
  40.    linker will do it automatically */
  41. 
  42. void *av_malloc(unsigned int size)
      ^
  43. {
  44.     void *ptr;

libavutil/mem.c:50:8: Taking true branch
  48. 
  49.     /* let's disallow possible ambiguous cases */
  50.     if(size > (INT_MAX-16) )
             ^
  51.         return NULL;
  52. 

libavutil/mem.c:51:9: 
  49.     /* let's disallow possible ambiguous cases */
  50.     if(size > (INT_MAX-16) )
  51.         return NULL;
              ^
  52. 
  53. #ifdef CONFIG_MEMALIGN_HACK

libavutil/mem.c:92:1: return from a call to av_malloc
  90. #endif
  91.     return ptr;
  92. }
      ^
  93. 
  94. void *av_realloc(void *ptr, unsigned int size)

libavcodec/mpc7.c:178:5: Skipping __function_pointer__(): unresolved function pointer
176. 
177.     bits = av_malloc(((buf_size - 1) & ~3) + FF_INPUT_BUFFER_PADDING_SIZE);
178.     c->dsp.bswap_buf((uint32_t*)bits, (const uint32_t*)(buf + 4), (buf_size - 4) >> 2);
         ^
179.     init_get_bits(&gb, bits, (buf_size - 4)* 8);
180.     skip_bits(&gb, buf[0]);

libavcodec/mpc7.c:179:5: 
177.     bits = av_malloc(((buf_size - 1) & ~3) + FF_INPUT_BUFFER_PADDING_SIZE);
178.     c->dsp.bswap_buf((uint32_t*)bits, (const uint32_t*)(buf + 4), (buf_size - 4) >> 2);
179.     init_get_bits(&gb, bits, (buf_size - 4)* 8);
         ^
180.     skip_bits(&gb, buf[0]);
181. 

libavcodec/bitstream.h:758:1: start of procedure init_get_bits()
  756.  * @param bit_size the size of the buffer in bits
  757.  */
  758. static inline void init_get_bits(GetBitContext *s,
       ^
  759.                    const uint8_t *buffer, int bit_size)
  760. {

libavcodec/bitstream.h:761:5: 
  759.                    const uint8_t *buffer, int bit_size)
  760. {
  761.     int buffer_size= (bit_size+7)>>3;
           ^
  762.     if(buffer_size < 0 || bit_size < 0) {
  763.         buffer_size = bit_size = 0;

libavcodec/bitstream.h:762:8: Taking false branch
  760. {
  761.     int buffer_size= (bit_size+7)>>3;
  762.     if(buffer_size < 0 || bit_size < 0) {
              ^
  763.         buffer_size = bit_size = 0;
  764.         buffer = NULL;

libavcodec/bitstream.h:762:27: Taking false branch
  760. {
  761.     int buffer_size= (bit_size+7)>>3;
  762.     if(buffer_size < 0 || bit_size < 0) {
                                 ^
  763.         buffer_size = bit_size = 0;
  764.         buffer = NULL;

libavcodec/bitstream.h:767:5: 
  765.     }
  766. 
  767.     s->buffer= buffer;
           ^
  768.     s->size_in_bits= bit_size;
  769.     s->buffer_end= buffer + buffer_size;

libavcodec/bitstream.h:768:5: 
  766. 
  767.     s->buffer= buffer;
  768.     s->size_in_bits= bit_size;
           ^
  769.     s->buffer_end= buffer + buffer_size;
  770. #ifdef ALT_BITSTREAM_READER

libavcodec/bitstream.h:769:5: 
  767.     s->buffer= buffer;
  768.     s->size_in_bits= bit_size;
  769.     s->buffer_end= buffer + buffer_size;
           ^
  770. #ifdef ALT_BITSTREAM_READER
  771.     s->index=0;

libavcodec/bitstream.h:771:5: 
  769.     s->buffer_end= buffer + buffer_size;
  770. #ifdef ALT_BITSTREAM_READER
  771.     s->index=0;
           ^
  772. #elif defined LIBMPEG2_BITSTREAM_READER
  773.     s->buffer_ptr = (uint8_t*)((intptr_t)buffer&(~1));

libavcodec/bitstream.h:781:1: return from a call to init_get_bits
  779.     skip_bits_long(s, 0);
  780. #endif
  781. }
       ^
  782. 
  783. static inline void align_get_bits(GetBitContext *s)

libavcodec/mpc7.c:180:5: 
178.     c->dsp.bswap_buf((uint32_t*)bits, (const uint32_t*)(buf + 4), (buf_size - 4) >> 2);
179.     init_get_bits(&gb, bits, (buf_size - 4)* 8);
180.     skip_bits(&gb, buf[0]);
         ^
181. 
182.     /* read subband indexes */

libavcodec/bitstream.h:678:1: start of procedure skip_bits()
  676. }
  677. 
  678. static inline void skip_bits(GetBitContext *s, int n){
       ^
  679.  //Note gcc seems to optimize this to s->index+=n for the ALT_READER :))
  680.     OPEN_READER(re, s)

libavcodec/bitstream.h:680:5: 
  678. static inline void skip_bits(GetBitContext *s, int n){
  679.  //Note gcc seems to optimize this to s->index+=n for the ALT_READER :))
  680.     OPEN_READER(re, s)
           ^
  681.     UPDATE_CACHE(re, s)
  682.     LAST_SKIP_BITS(re, s, n)

libavcodec/bitstream.h:681:5: 
  679.  //Note gcc seems to optimize this to s->index+=n for the ALT_READER :))
  680.     OPEN_READER(re, s)
  681.     UPDATE_CACHE(re, s)
           ^
  682.     LAST_SKIP_BITS(re, s, n)
  683.     CLOSE_READER(re, s)
