libavcodec/wmavoice.c:1644: error: Null Dereference
  pointer `gb->buffer` last assigned on line 1637 could be null and is dereferenced by call to `get_bits1()` at line 1644, column 10.

libavcodec/wmavoice.c:1629:1: start of procedure check_bits_for_superframe()
1627.  * @return -1 if unsupported, 1 on not enough bits or 0 if OK.
1628.  */
1629. static int check_bits_for_superframe(GetBitContext *orig_gb,
      ^
1630.                                      WMAVoiceContext *s)
1631. {

libavcodec/wmavoice.c:1632:5: 
1630.                                      WMAVoiceContext *s)
1631. {
1632.     GetBitContext s_gb, *gb = &s_gb;
          ^
1633.     int n, need_bits, bd_idx;
1634.     const struct frame_type_desc *frame_desc;

libavcodec/wmavoice.c:1637:5: 
1635. 
1636.     /* initialize a copy */
1637.     init_get_bits(gb, orig_gb->buffer, orig_gb->size_in_bits);
          ^
1638.     skip_bits_long(gb, get_bits_count(orig_gb));
1639.     assert(get_bits_left(gb) == get_bits_left(orig_gb));

libavcodec/get_bits.h:473:1: start of procedure init_get_bits()
  471.  * responsible for checking for the buffer end yourself (take advantage of the padding)!
  472.  */
  473. static inline void init_get_bits(GetBitContext *s,
       ^
  474.                    const uint8_t *buffer, int bit_size)
  475. {

libavcodec/get_bits.h:476:5: 
  474.                    const uint8_t *buffer, int bit_size)
  475. {
  476.     int buffer_size= (bit_size+7)>>3;
           ^
  477.     if(buffer_size < 0 || bit_size < 0) {
  478.         buffer_size = bit_size = 0;

libavcodec/get_bits.h:477:8: Taking true branch
  475. {
  476.     int buffer_size= (bit_size+7)>>3;
  477.     if(buffer_size < 0 || bit_size < 0) {
              ^
  478.         buffer_size = bit_size = 0;
  479.         buffer = NULL;

libavcodec/get_bits.h:478:9: 
  476.     int buffer_size= (bit_size+7)>>3;
  477.     if(buffer_size < 0 || bit_size < 0) {
  478.         buffer_size = bit_size = 0;
               ^
  479.         buffer = NULL;
  480.     }

libavcodec/get_bits.h:479:9: 
  477.     if(buffer_size < 0 || bit_size < 0) {
  478.         buffer_size = bit_size = 0;
  479.         buffer = NULL;
               ^
  480.     }
  481. 

libavcodec/get_bits.h:482:5: 
  480.     }
  481. 
  482.     s->buffer= buffer;
           ^
  483.     s->size_in_bits= bit_size;
  484.     s->buffer_end= buffer + buffer_size;

libavcodec/get_bits.h:483:5: 
  481. 
  482.     s->buffer= buffer;
  483.     s->size_in_bits= bit_size;
           ^
  484.     s->buffer_end= buffer + buffer_size;
  485. #ifdef ALT_BITSTREAM_READER

libavcodec/get_bits.h:484:5: 
  482.     s->buffer= buffer;
  483.     s->size_in_bits= bit_size;
  484.     s->buffer_end= buffer + buffer_size;
           ^
  485. #ifdef ALT_BITSTREAM_READER
  486.     s->index=0;

libavcodec/get_bits.h:486:5: 
  484.     s->buffer_end= buffer + buffer_size;
  485. #ifdef ALT_BITSTREAM_READER
  486.     s->index=0;
           ^
  487. #elif defined LIBMPEG2_BITSTREAM_READER
  488.     s->buffer_ptr = (uint8_t*)((intptr_t)buffer&(~1));

libavcodec/get_bits.h:496:1: return from a call to init_get_bits
  494.     skip_bits_long(s, 0);
  495. #endif
  496. }
       ^
  497. 
  498. static inline void align_get_bits(GetBitContext *s)

libavcodec/wmavoice.c:1638:5: 
1636.     /* initialize a copy */
1637.     init_get_bits(gb, orig_gb->buffer, orig_gb->size_in_bits);
1638.     skip_bits_long(gb, get_bits_count(orig_gb));
          ^
1639.     assert(get_bits_left(gb) == get_bits_left(orig_gb));
1640. 

libavcodec/get_bits.h:184:1: start of procedure get_bits_count()
  182.         ((uint32_t)name##_cache)
  183. 
  184. static inline int get_bits_count(const GetBitContext *s){
       ^
  185.     return s->index;
  186. }

libavcodec/get_bits.h:185:5: 
  183. 
  184. static inline int get_bits_count(const GetBitContext *s){
  185.     return s->index;
           ^
  186. }
  187. 

libavcodec/get_bits.h:186:1: return from a call to get_bits_count
  184. static inline int get_bits_count(const GetBitContext *s){
  185.     return s->index;
  186. }
       ^
  187. 
  188. static inline void skip_bits_long(GetBitContext *s, int n){

libavcodec/get_bits.h:188:1: start of procedure skip_bits_long()
  186. }
  187. 
  188. static inline void skip_bits_long(GetBitContext *s, int n){
       ^
  189.     s->index += n;
  190. }

libavcodec/get_bits.h:189:5: 
  187. 
  188. static inline void skip_bits_long(GetBitContext *s, int n){
  189.     s->index += n;
           ^
  190. }
  191. 

libavcodec/get_bits.h:190:1: return from a call to skip_bits_long
  188. static inline void skip_bits_long(GetBitContext *s, int n){
  189.     s->index += n;
  190. }
       ^
  191. 
  192. #elif defined LIBMPEG2_BITSTREAM_READER

libavcodec/wmavoice.c:1639:5: 
1637.     init_get_bits(gb, orig_gb->buffer, orig_gb->size_in_bits);
1638.     skip_bits_long(gb, get_bits_count(orig_gb));
1639.     assert(get_bits_left(gb) == get_bits_left(orig_gb));
          ^
1640. 
1641.     /* superframe header */

libavcodec/wmavoice.c:1642:9: 
1640. 
1641.     /* superframe header */
1642.     if (get_bits_left(gb) < 14)
              ^
1643.         return 1;
1644.     if (!get_bits1(gb))

libavcodec/get_bits.h:686:1: start of procedure get_bits_left()
  684. }
  685. 
  686. static inline int get_bits_left(GetBitContext *gb)
       ^
  687. {
  688.     return gb->size_in_bits - get_bits_count(gb);

libavcodec/get_bits.h:688:5: 
  686. static inline int get_bits_left(GetBitContext *gb)
  687. {
  688.     return gb->size_in_bits - get_bits_count(gb);
           ^
  689. }
  690. 

libavcodec/get_bits.h:184:1: start of procedure get_bits_count()
    182.         ((uint32_t)name##_cache)
    183. 
    184. static inline int get_bits_count(const GetBitContext *s){
         ^
    185.     return s->index;
    186. }

libavcodec/get_bits.h:185:5: 
    183. 
    184. static inline int get_bits_count(const GetBitContext *s){
    185.     return s->index;
             ^
    186. }
    187. 

libavcodec/get_bits.h:186:1: return from a call to get_bits_count
    184. static inline int get_bits_count(const GetBitContext *s){
    185.     return s->index;
    186. }
         ^
    187. 
    188. static inline void skip_bits_long(GetBitContext *s, int n){

libavcodec/get_bits.h:689:1: return from a call to get_bits_left
  687. {
  688.     return gb->size_in_bits - get_bits_count(gb);
  689. }
       ^
  690. 
  691. #endif /* AVCODEC_GET_BITS_H */

libavcodec/wmavoice.c:1642:9: Taking false branch
1640. 
1641.     /* superframe header */
1642.     if (get_bits_left(gb) < 14)
              ^
1643.         return 1;
1644.     if (!get_bits1(gb))

libavcodec/wmavoice.c:1644:10: 
1642.     if (get_bits_left(gb) < 14)
1643.         return 1;
1644.     if (!get_bits1(gb))
               ^
1645.         return -1;                        // WMAPro-in-WMAVoice superframe
1646.     if (get_bits1(gb)) skip_bits(gb, 12); // number of  samples in superframe

libavcodec/get_bits.h:393:1: start of procedure get_bits1()
  391. }
  392. 
  393. static inline unsigned int get_bits1(GetBitContext *s){
       ^
  394. #ifdef ALT_BITSTREAM_READER
  395.     unsigned int index= s->index;

libavcodec/get_bits.h:395:5: 
  393. static inline unsigned int get_bits1(GetBitContext *s){
  394. #ifdef ALT_BITSTREAM_READER
  395.     unsigned int index= s->index;
           ^
  396.     uint8_t result= s->buffer[ index>>3 ];
  397. #ifdef ALT_BITSTREAM_READER_LE

libavcodec/get_bits.h:396:5: 
  394. #ifdef ALT_BITSTREAM_READER
  395.     unsigned int index= s->index;
  396.     uint8_t result= s->buffer[ index>>3 ];
           ^
  397. #ifdef ALT_BITSTREAM_READER_LE
  398.     result>>= (index&0x07);

static int check_bits_for_superframe(GetBitContext *orig_gb,
                                     WMAVoiceContext *s)
{
    GetBitContext s_gb, *gb = &s_gb;
    int n, need_bits, bd_idx;
    const struct frame_type_desc *frame_desc;
    init_get_bits(gb, orig_gb->buffer, orig_gb->size_in_bits);
    skip_bits_long(gb, get_bits_count(orig_gb));
    assert(get_bits_left(gb) == get_bits_left(orig_gb));
    if (get_bits_left(gb) < 14)
        return 1;
    if (!get_bits1(gb))
        return -1;
    if (get_bits1(gb)) skip_bits(gb, 12);
    if (s->has_residual_lsps) {
        if (get_bits_left(gb) < s->sframe_lsp_bitsize)
            return 1;
        skip_bits_long(gb, s->sframe_lsp_bitsize);
    }
    for (n = 0; n < MAX_FRAMES; n++) {
        int aw_idx_is_ext = 0;
        if (!s->has_residual_lsps) {
           if (get_bits_left(gb) < s->frame_lsp_bitsize) return 1;
           skip_bits_long(gb, s->frame_lsp_bitsize);
        }
        bd_idx = s->vbm_tree[get_vlc2(gb, frame_type_vlc.table, 6, 3)];
        if (bd_idx < 0)
            return -1;
        frame_desc = &frame_descs[bd_idx];
        if (frame_desc->acb_type == ACB_TYPE_ASYMMETRIC) {
            if (get_bits_left(gb) < s->pitch_nbits)
                return 1;
            skip_bits_long(gb, s->pitch_nbits);
        }
        if (frame_desc->fcb_type == FCB_TYPE_SILENCE) {
            skip_bits(gb, 8);
        } else if (frame_desc->fcb_type == FCB_TYPE_AW_PULSES) {
            int tmp = get_bits(gb, 6);
            if (tmp >= 0x36) {
                skip_bits(gb, 2);
                aw_idx_is_ext = 1;
            }
        }
        if (frame_desc->acb_type == ACB_TYPE_HAMMING) {
            need_bits = s->block_pitch_nbits +
                (frame_desc->n_blocks - 1) * s->block_delta_pitch_nbits;
        } else if (frame_desc->fcb_type == FCB_TYPE_AW_PULSES) {
            need_bits = 2 * !aw_idx_is_ext;
        } else
            need_bits = 0;
        need_bits += frame_desc->frame_size;
        if (get_bits_left(gb) < need_bits)
            return 1;
        skip_bits_long(gb, need_bits);
    }
    return 0;
}
['static int check_bits_for_superframe(GetBitContext *orig_gb,\n                                     WMAVoiceContext *s)\n{\n    GetBitContext s_gb, *gb = &s_gb;\n    int n, need_bits, bd_idx;\n    const struct frame_type_desc *frame_desc;\n    init_get_bits(gb, orig_gb->buffer, orig_gb->size_in_bits);\n    skip_bits_long(gb, get_bits_count(orig_gb));\n    assert(get_bits_left(gb) == get_bits_left(orig_gb));\n    if (get_bits_left(gb) < 14)\n        return 1;\n    if (!get_bits1(gb))\n        return -1;\n    if (get_bits1(gb)) skip_bits(gb, 12);\n    if (s->has_residual_lsps) {\n        if (get_bits_left(gb) < s->sframe_lsp_bitsize)\n            return 1;\n        skip_bits_long(gb, s->sframe_lsp_bitsize);\n    }\n    for (n = 0; n < MAX_FRAMES; n++) {\n        int aw_idx_is_ext = 0;\n        if (!s->has_residual_lsps) {\n           if (get_bits_left(gb) < s->frame_lsp_bitsize) return 1;\n           skip_bits_long(gb, s->frame_lsp_bitsize);\n        }\n        bd_idx = s->vbm_tree[get_vlc2(gb, frame_type_vlc.table, 6, 3)];\n        if (bd_idx < 0)\n            return -1;\n        frame_desc = &frame_descs[bd_idx];\n        if (frame_desc->acb_type == ACB_TYPE_ASYMMETRIC) {\n            if (get_bits_left(gb) < s->pitch_nbits)\n                return 1;\n            skip_bits_long(gb, s->pitch_nbits);\n        }\n        if (frame_desc->fcb_type == FCB_TYPE_SILENCE) {\n            skip_bits(gb, 8);\n        } else if (frame_desc->fcb_type == FCB_TYPE_AW_PULSES) {\n            int tmp = get_bits(gb, 6);\n            if (tmp >= 0x36) {\n                skip_bits(gb, 2);\n                aw_idx_is_ext = 1;\n            }\n        }\n        if (frame_desc->acb_type == ACB_TYPE_HAMMING) {\n            need_bits = s->block_pitch_nbits +\n                (frame_desc->n_blocks - 1) * s->block_delta_pitch_nbits;\n        } else if (frame_desc->fcb_type == FCB_TYPE_AW_PULSES) {\n            need_bits = 2 * !aw_idx_is_ext;\n        } else\n            need_bits = 0;\n        need_bits += frame_desc->frame_size;\n        if (get_bits_left(gb) < need_bits)\n            return 1;\n        skip_bits_long(gb, need_bits);\n    }\n    return 0;\n}', 'static inline void init_get_bits(GetBitContext *s,\n                   const uint8_t *buffer, int bit_size)\n{\n    int buffer_size= (bit_size+7)>>3;\n    if(buffer_size < 0 || bit_size < 0) {\n        buffer_size = bit_size = 0;\n        buffer = NULL;\n    }\n    s->buffer= buffer;\n    s->size_in_bits= bit_size;\n    s->buffer_end= buffer + buffer_size;\n#ifdef ALT_BITSTREAM_READER\n    s->index=0;\n#elif defined LIBMPEG2_BITSTREAM_READER\n    s->buffer_ptr = (uint8_t*)((intptr_t)buffer&(~1));\n    s->bit_count = 16 + 8*((intptr_t)buffer&1);\n    skip_bits_long(s, 0);\n#elif defined A32_BITSTREAM_READER\n    s->buffer_ptr = (uint32_t*)((intptr_t)buffer&(~3));\n    s->bit_count = 32 + 8*((intptr_t)buffer&3);\n    skip_bits_long(s, 0);\n#endif\n}', 'static inline int get_bits_count(const GetBitContext *s){\n    return s->index;\n}', 'static inline void skip_bits_long(GetBitContext *s, int n){\n    s->index += n;\n}', 'static inline int get_bits_left(GetBitContext *gb)\n{\n    return gb->size_in_bits - get_bits_count(gb);\n}', 'static inline unsigned int get_bits1(GetBitContext *s){\n#ifdef ALT_BITSTREAM_READER\n    unsigned int index= s->index;\n    uint8_t result= s->buffer[ index>>3 ];\n#ifdef ALT_BITSTREAM_READER_LE\n    result>>= (index&0x07);\n    result&= 1;\n#else\n    result<<= (index&0x07);\n    result>>= 8 - 1;\n#endif\n    index++;\n    s->index= index;\n    return result;\n#else\n    return get_bits(s, 1);\n#endif\n}']