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

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

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

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

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

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

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

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

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

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

libavcodec/bitstream.h:719:1: start of procedure init_get_bits()
  717.  * @param bit_size the size of the buffer in bits
  718.  */
  719. static inline void init_get_bits(GetBitContext *s,
       ^
  720.                    const uint8_t *buffer, int bit_size)
  721. {

libavcodec/bitstream.h:722:5: 
  720.                    const uint8_t *buffer, int bit_size)
  721. {
  722.     int buffer_size= (bit_size+7)>>3;
           ^
  723.     if(buffer_size < 0 || bit_size < 0) {
  724.         buffer_size = bit_size = 0;

libavcodec/bitstream.h:723:8: Taking false branch
  721. {
  722.     int buffer_size= (bit_size+7)>>3;
  723.     if(buffer_size < 0 || bit_size < 0) {
              ^
  724.         buffer_size = bit_size = 0;
  725.         buffer = NULL;

libavcodec/bitstream.h:723:27: Taking false branch
  721. {
  722.     int buffer_size= (bit_size+7)>>3;
  723.     if(buffer_size < 0 || bit_size < 0) {
                                 ^
  724.         buffer_size = bit_size = 0;
  725.         buffer = NULL;

libavcodec/bitstream.h:728:5: 
  726.     }
  727. 
  728.     s->buffer= buffer;
           ^
  729.     s->size_in_bits= bit_size;
  730.     s->buffer_end= buffer + buffer_size;

libavcodec/bitstream.h:729:5: 
  727. 
  728.     s->buffer= buffer;
  729.     s->size_in_bits= bit_size;
           ^
  730.     s->buffer_end= buffer + buffer_size;
  731. #ifdef ALT_BITSTREAM_READER

libavcodec/bitstream.h:730:5: 
  728.     s->buffer= buffer;
  729.     s->size_in_bits= bit_size;
  730.     s->buffer_end= buffer + buffer_size;
           ^
  731. #ifdef ALT_BITSTREAM_READER
  732.     s->index=0;

libavcodec/bitstream.h:732:5: 
  730.     s->buffer_end= buffer + buffer_size;
  731. #ifdef ALT_BITSTREAM_READER
  732.     s->index=0;
           ^
  733. #elif defined LIBMPEG2_BITSTREAM_READER
  734.     s->buffer_ptr = (uint8_t*)((intptr_t)buffer&(~1));

libavcodec/bitstream.h:742:1: return from a call to init_get_bits
  740.     skip_bits_long(s, 0);
  741. #endif
  742. }
       ^
  743. 
  744. static inline void align_get_bits(GetBitContext *s)

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

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

libavcodec/bitstream.h:641:5: 
  639. static inline void skip_bits(GetBitContext *s, int n){
  640.  //Note gcc seems to optimize this to s->index+=n for the ALT_READER :))
  641.     OPEN_READER(re, s)
           ^
  642.     UPDATE_CACHE(re, s)
  643.     LAST_SKIP_BITS(re, s, n)

libavcodec/bitstream.h:642:5: 
  640.  //Note gcc seems to optimize this to s->index+=n for the ALT_READER :))
  641.     OPEN_READER(re, s)
  642.     UPDATE_CACHE(re, s)
           ^
  643.     LAST_SKIP_BITS(re, s, n)
  644.     CLOSE_READER(re, s)
