libavcodec/sonic.c:811: error: Null Dereference
  pointer `s->tap_quant` last assigned on line 809 could be null and is dereferenced at line 811, column 9.

libavcodec/sonic.c:753:1: start of procedure sonic_decode_init()
751. 
752. #if CONFIG_SONIC_DECODER
753. static av_cold int sonic_decode_init(AVCodecContext *avctx)
     ^
754. {
755.     SonicContext *s = avctx->priv_data;

libavcodec/sonic.c:755:5: 
753. static av_cold int sonic_decode_init(AVCodecContext *avctx)
754. {
755.     SonicContext *s = avctx->priv_data;
         ^
756.     GetBitContext gb;
757.     int i, version;

libavcodec/sonic.c:759:5: 
757.     int i, version;
758. 
759.     s->channels = avctx->channels;
         ^
760.     s->samplerate = avctx->sample_rate;
761. 

libavcodec/sonic.c:760:5: 
758. 
759.     s->channels = avctx->channels;
760.     s->samplerate = avctx->sample_rate;
         ^
761. 
762.     if (!avctx->extradata)

libavcodec/sonic.c:762:10: Taking false branch
760.     s->samplerate = avctx->sample_rate;
761. 
762.     if (!avctx->extradata)
              ^
763.     {
764.         av_log(avctx, AV_LOG_ERROR, "No mandatory headers present\n");

libavcodec/sonic.c:768:5: 
766.     }
767. 
768.     init_get_bits(&gb, avctx->extradata, avctx->extradata_size);
         ^
769. 
770.     version = get_bits(&gb, 2);

libavcodec/bitstream.h:737:1: start of procedure init_get_bits()
  735.  * @param bit_size the size of the buffer in bits
  736.  */
  737. static inline void init_get_bits(GetBitContext *s,
       ^
  738.                    const uint8_t *buffer, int bit_size)
  739. {

libavcodec/bitstream.h:740:5: 
  738.                    const uint8_t *buffer, int bit_size)
  739. {
  740.     int buffer_size= (bit_size+7)>>3;
           ^
  741.     if(buffer_size < 0 || bit_size < 0) {
  742.         buffer_size = bit_size = 0;

libavcodec/bitstream.h:741:8: Taking false branch
  739. {
  740.     int buffer_size= (bit_size+7)>>3;
  741.     if(buffer_size < 0 || bit_size < 0) {
              ^
  742.         buffer_size = bit_size = 0;
  743.         buffer = NULL;

libavcodec/bitstream.h:741:27: Taking false branch
  739. {
  740.     int buffer_size= (bit_size+7)>>3;
  741.     if(buffer_size < 0 || bit_size < 0) {
                                 ^
  742.         buffer_size = bit_size = 0;
  743.         buffer = NULL;

libavcodec/bitstream.h:746:5: 
  744.     }
  745. 
  746.     s->buffer= buffer;
           ^
  747.     s->size_in_bits= bit_size;
  748.     s->buffer_end= buffer + buffer_size;

libavcodec/bitstream.h:747:5: 
  745. 
  746.     s->buffer= buffer;
  747.     s->size_in_bits= bit_size;
           ^
  748.     s->buffer_end= buffer + buffer_size;
  749. #ifdef ALT_BITSTREAM_READER

libavcodec/bitstream.h:748:5: 
  746.     s->buffer= buffer;
  747.     s->size_in_bits= bit_size;
  748.     s->buffer_end= buffer + buffer_size;
           ^
  749. #ifdef ALT_BITSTREAM_READER
  750.     s->index=0;

libavcodec/bitstream.h:750:5: 
  748.     s->buffer_end= buffer + buffer_size;
  749. #ifdef ALT_BITSTREAM_READER
  750.     s->index=0;
           ^
  751. #elif defined LIBMPEG2_BITSTREAM_READER
  752.     s->buffer_ptr = (uint8_t*)((intptr_t)buffer&(~1));

libavcodec/bitstream.h:760:1: return from a call to init_get_bits
  758.     skip_bits_long(s, 0);
  759. #endif
  760. }
       ^
  761. 
  762. static inline void align_get_bits(GetBitContext *s)

libavcodec/sonic.c:770:5: 
768.     init_get_bits(&gb, avctx->extradata, avctx->extradata_size);
769. 
770.     version = get_bits(&gb, 2);
         ^
771.     if (version > 1)
772.     {

libavcodec/bitstream.h:634:1: start of procedure get_bits()
  632.  * Note, the alt bitstream reader can read up to 25 bits, but the libmpeg2 reader can't
  633.  */
  634. static inline unsigned int get_bits(GetBitContext *s, int n){
       ^
  635.     register int tmp;
  636.     OPEN_READER(re, s)

libavcodec/bitstream.h:636:5: 
  634. static inline unsigned int get_bits(GetBitContext *s, int n){
  635.     register int tmp;
  636.     OPEN_READER(re, s)
           ^
  637.     UPDATE_CACHE(re, s)
  638.     tmp= SHOW_UBITS(re, s, n);

libavcodec/bitstream.h:637:5: 
  635.     register int tmp;
  636.     OPEN_READER(re, s)
  637.     UPDATE_CACHE(re, s)
           ^
  638.     tmp= SHOW_UBITS(re, s, n);
  639.     LAST_SKIP_BITS(re, s, n)

libavcodec/bitstream.h:638:5: 
  636.     OPEN_READER(re, s)
  637.     UPDATE_CACHE(re, s)
  638.     tmp= SHOW_UBITS(re, s, n);
           ^
  639.     LAST_SKIP_BITS(re, s, n)
  640.     CLOSE_READER(re, s)

libavcodec/bitstream.h:639:5: 
  637.     UPDATE_CACHE(re, s)
  638.     tmp= SHOW_UBITS(re, s, n);
  639.     LAST_SKIP_BITS(re, s, n)
           ^
  640.     CLOSE_READER(re, s)
  641.     return tmp;

libavcodec/bitstream.h:640:5: 
  638.     tmp= SHOW_UBITS(re, s, n);
  639.     LAST_SKIP_BITS(re, s, n)
  640.     CLOSE_READER(re, s)
           ^
  641.     return tmp;
  642. }

libavcodec/bitstream.h:641:5: 
  639.     LAST_SKIP_BITS(re, s, n)
  640.     CLOSE_READER(re, s)
  641.     return tmp;
           ^
  642. }
  643. 

libavcodec/bitstream.h:642:1: return from a call to get_bits
  640.     CLOSE_READER(re, s)
  641.     return tmp;
  642. }
       ^
  643. 
  644. /**

libavcodec/sonic.c:771:9: Taking false branch
769. 
770.     version = get_bits(&gb, 2);
771.     if (version > 1)
             ^
772.     {
773.         av_log(avctx, AV_LOG_ERROR, "Unsupported Sonic version, please report\n");

libavcodec/sonic.c:777:9: Taking true branch
775.     }
776. 
777.     if (version == 1)
             ^
778.     {
779.         s->channels = get_bits(&gb, 2);

libavcodec/sonic.c:779:9: 
777.     if (version == 1)
778.     {
779.         s->channels = get_bits(&gb, 2);
             ^
780.         s->samplerate = samplerate_table[get_bits(&gb, 4)];
781.         av_log(avctx, AV_LOG_INFO, "Sonicv2 chans: %d samprate: %d\n",

libavcodec/bitstream.h:634:1: start of procedure get_bits()
  632.  * Note, the alt bitstream reader can read up to 25 bits, but the libmpeg2 reader can't
  633.  */
  634. static inline unsigned int get_bits(GetBitContext *s, int n){
       ^
  635.     register int tmp;
  636.     OPEN_READER(re, s)

libavcodec/bitstream.h:636:5: 
  634. static inline unsigned int get_bits(GetBitContext *s, int n){
  635.     register int tmp;
  636.     OPEN_READER(re, s)
           ^
  637.     UPDATE_CACHE(re, s)
  638.     tmp= SHOW_UBITS(re, s, n);

libavcodec/bitstream.h:637:5: 
  635.     register int tmp;
  636.     OPEN_READER(re, s)
  637.     UPDATE_CACHE(re, s)
           ^
  638.     tmp= SHOW_UBITS(re, s, n);
  639.     LAST_SKIP_BITS(re, s, n)

libavcodec/bitstream.h:638:5: 
  636.     OPEN_READER(re, s)
  637.     UPDATE_CACHE(re, s)
  638.     tmp= SHOW_UBITS(re, s, n);
           ^
  639.     LAST_SKIP_BITS(re, s, n)
  640.     CLOSE_READER(re, s)

libavcodec/bitstream.h:639:5: 
  637.     UPDATE_CACHE(re, s)
  638.     tmp= SHOW_UBITS(re, s, n);
  639.     LAST_SKIP_BITS(re, s, n)
           ^
  640.     CLOSE_READER(re, s)
  641.     return tmp;

libavcodec/bitstream.h:640:5: 
  638.     tmp= SHOW_UBITS(re, s, n);
  639.     LAST_SKIP_BITS(re, s, n)
  640.     CLOSE_READER(re, s)
           ^
  641.     return tmp;
  642. }

libavcodec/bitstream.h:641:5: 
  639.     LAST_SKIP_BITS(re, s, n)
  640.     CLOSE_READER(re, s)
  641.     return tmp;
           ^
  642. }
  643. 

libavcodec/bitstream.h:642:1: return from a call to get_bits
  640.     CLOSE_READER(re, s)
  641.     return tmp;
  642. }
       ^
  643. 
  644. /**

libavcodec/sonic.c:780:9: 
778.     {
779.         s->channels = get_bits(&gb, 2);
780.         s->samplerate = samplerate_table[get_bits(&gb, 4)];
             ^
781.         av_log(avctx, AV_LOG_INFO, "Sonicv2 chans: %d samprate: %d\n",
782.             s->channels, s->samplerate);

libavcodec/bitstream.h:634:1: start of procedure get_bits()
  632.  * Note, the alt bitstream reader can read up to 25 bits, but the libmpeg2 reader can't
  633.  */
  634. static inline unsigned int get_bits(GetBitContext *s, int n){
       ^
  635.     register int tmp;
  636.     OPEN_READER(re, s)

libavcodec/bitstream.h:636:5: 
  634. static inline unsigned int get_bits(GetBitContext *s, int n){
  635.     register int tmp;
  636.     OPEN_READER(re, s)
           ^
  637.     UPDATE_CACHE(re, s)
  638.     tmp= SHOW_UBITS(re, s, n);

libavcodec/bitstream.h:637:5: 
  635.     register int tmp;
  636.     OPEN_READER(re, s)
  637.     UPDATE_CACHE(re, s)
           ^
  638.     tmp= SHOW_UBITS(re, s, n);
  639.     LAST_SKIP_BITS(re, s, n)

libavcodec/bitstream.h:638:5: 
  636.     OPEN_READER(re, s)
  637.     UPDATE_CACHE(re, s)
  638.     tmp= SHOW_UBITS(re, s, n);
           ^
  639.     LAST_SKIP_BITS(re, s, n)
  640.     CLOSE_READER(re, s)

libavcodec/bitstream.h:639:5: 
  637.     UPDATE_CACHE(re, s)
  638.     tmp= SHOW_UBITS(re, s, n);
  639.     LAST_SKIP_BITS(re, s, n)
           ^
  640.     CLOSE_READER(re, s)
  641.     return tmp;

libavcodec/bitstream.h:640:5: 
  638.     tmp= SHOW_UBITS(re, s, n);
  639.     LAST_SKIP_BITS(re, s, n)
  640.     CLOSE_READER(re, s)
           ^
  641.     return tmp;
  642. }

libavcodec/bitstream.h:641:5: 
  639.     LAST_SKIP_BITS(re, s, n)
  640.     CLOSE_READER(re, s)
  641.     return tmp;
           ^
  642. }
  643. 

libavcodec/bitstream.h:642:1: return from a call to get_bits
  640.     CLOSE_READER(re, s)
  641.     return tmp;
  642. }
       ^
  643. 
  644. /**

libavcodec/sonic.c:781:9: Skipping av_log(): empty list of specs
779.         s->channels = get_bits(&gb, 2);
780.         s->samplerate = samplerate_table[get_bits(&gb, 4)];
781.         av_log(avctx, AV_LOG_INFO, "Sonicv2 chans: %d samprate: %d\n",
             ^
782.             s->channels, s->samplerate);
783.     }

libavcodec/sonic.c:785:9: Taking false branch
783.     }
784. 
785.     if (s->channels > MAX_CHANNELS)
             ^
786.     {
787.         av_log(avctx, AV_LOG_ERROR, "Only mono and stereo streams are supported by now\n");

libavcodec/sonic.c:791:5: 
789.     }
790. 
791.     s->lossless = get_bits1(&gb);
         ^
792.     if (!s->lossless)
793.         skip_bits(&gb, 3); // XXX FIXME

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

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

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

libavcodec/bitstream.h:673:5: 
  671.     result&= 1;
  672. #else
  673.     result<<= (index&0x07);
           ^
  674.     result>>= 8 - 1;
  675. #endif

libavcodec/bitstream.h:674:5: 
  672. #else
  673.     result<<= (index&0x07);
  674.     result>>= 8 - 1;
           ^
  675. #endif
  676.     index++;

libavcodec/bitstream.h:676:5: 
  674.     result>>= 8 - 1;
  675. #endif
  676.     index++;
           ^
  677.     s->index= index;
  678. 

libavcodec/bitstream.h:677:5: 
  675. #endif
  676.     index++;
  677.     s->index= index;
           ^
  678. 
  679.     return result;

libavcodec/bitstream.h:679:5: 
  677.     s->index= index;
  678. 
  679.     return result;
           ^
  680. #else
  681.     return get_bits(s, 1);

libavcodec/bitstream.h:683:1: return from a call to get_bits1
  681.     return get_bits(s, 1);
  682. #endif
  683. }
       ^
  684. 
  685. static inline unsigned int show_bits1(GetBitContext *s){

libavcodec/sonic.c:792:10: Taking false branch
790. 
791.     s->lossless = get_bits1(&gb);
792.     if (!s->lossless)
              ^
793.         skip_bits(&gb, 3); // XXX FIXME
794.     s->decorrelation = get_bits(&gb, 2);

libavcodec/sonic.c:794:5: 
792.     if (!s->lossless)
793.         skip_bits(&gb, 3); // XXX FIXME
794.     s->decorrelation = get_bits(&gb, 2);
         ^
795. 
796.     s->downsampling = get_bits(&gb, 2);

libavcodec/bitstream.h:634:1: start of procedure get_bits()
  632.  * Note, the alt bitstream reader can read up to 25 bits, but the libmpeg2 reader can't
  633.  */
  634. static inline unsigned int get_bits(GetBitContext *s, int n){
       ^
  635.     register int tmp;
  636.     OPEN_READER(re, s)

libavcodec/bitstream.h:636:5: 
  634. static inline unsigned int get_bits(GetBitContext *s, int n){
  635.     register int tmp;
  636.     OPEN_READER(re, s)
           ^
  637.     UPDATE_CACHE(re, s)
  638.     tmp= SHOW_UBITS(re, s, n);

libavcodec/bitstream.h:637:5: 
  635.     register int tmp;
  636.     OPEN_READER(re, s)
  637.     UPDATE_CACHE(re, s)
           ^
  638.     tmp= SHOW_UBITS(re, s, n);
  639.     LAST_SKIP_BITS(re, s, n)

libavcodec/bitstream.h:638:5: 
  636.     OPEN_READER(re, s)
  637.     UPDATE_CACHE(re, s)
  638.     tmp= SHOW_UBITS(re, s, n);
           ^
  639.     LAST_SKIP_BITS(re, s, n)
  640.     CLOSE_READER(re, s)

libavcodec/bitstream.h:639:5: 
  637.     UPDATE_CACHE(re, s)
  638.     tmp= SHOW_UBITS(re, s, n);
  639.     LAST_SKIP_BITS(re, s, n)
           ^
  640.     CLOSE_READER(re, s)
  641.     return tmp;

libavcodec/bitstream.h:640:5: 
  638.     tmp= SHOW_UBITS(re, s, n);
  639.     LAST_SKIP_BITS(re, s, n)
  640.     CLOSE_READER(re, s)
           ^
  641.     return tmp;
  642. }

libavcodec/bitstream.h:641:5: 
  639.     LAST_SKIP_BITS(re, s, n)
  640.     CLOSE_READER(re, s)
  641.     return tmp;
           ^
  642. }
  643. 

libavcodec/bitstream.h:642:1: return from a call to get_bits
  640.     CLOSE_READER(re, s)
  641.     return tmp;
  642. }
       ^
  643. 
  644. /**

libavcodec/sonic.c:796:5: 
794.     s->decorrelation = get_bits(&gb, 2);
795. 
796.     s->downsampling = get_bits(&gb, 2);
         ^
797.     s->num_taps = (get_bits(&gb, 5)+1)<<5;
798.     if (get_bits1(&gb)) // XXX FIXME

libavcodec/bitstream.h:634:1: start of procedure get_bits()
  632.  * Note, the alt bitstream reader can read up to 25 bits, but the libmpeg2 reader can't
  633.  */
  634. static inline unsigned int get_bits(GetBitContext *s, int n){
       ^
  635.     register int tmp;
  636.     OPEN_READER(re, s)

libavcodec/bitstream.h:636:5: 
  634. static inline unsigned int get_bits(GetBitContext *s, int n){
  635.     register int tmp;
  636.     OPEN_READER(re, s)
           ^
  637.     UPDATE_CACHE(re, s)
  638.     tmp= SHOW_UBITS(re, s, n);

libavcodec/bitstream.h:637:5: 
  635.     register int tmp;
  636.     OPEN_READER(re, s)
  637.     UPDATE_CACHE(re, s)
           ^
  638.     tmp= SHOW_UBITS(re, s, n);
  639.     LAST_SKIP_BITS(re, s, n)

libavcodec/bitstream.h:638:5: 
  636.     OPEN_READER(re, s)
  637.     UPDATE_CACHE(re, s)
  638.     tmp= SHOW_UBITS(re, s, n);
           ^
  639.     LAST_SKIP_BITS(re, s, n)
  640.     CLOSE_READER(re, s)

libavcodec/bitstream.h:639:5: 
  637.     UPDATE_CACHE(re, s)
  638.     tmp= SHOW_UBITS(re, s, n);
  639.     LAST_SKIP_BITS(re, s, n)
           ^
  640.     CLOSE_READER(re, s)
  641.     return tmp;

libavcodec/bitstream.h:640:5: 
  638.     tmp= SHOW_UBITS(re, s, n);
  639.     LAST_SKIP_BITS(re, s, n)
  640.     CLOSE_READER(re, s)
           ^
  641.     return tmp;
  642. }

libavcodec/bitstream.h:641:5: 
  639.     LAST_SKIP_BITS(re, s, n)
  640.     CLOSE_READER(re, s)
  641.     return tmp;
           ^
  642. }
  643. 

libavcodec/bitstream.h:642:1: return from a call to get_bits
  640.     CLOSE_READER(re, s)
  641.     return tmp;
  642. }
       ^
  643. 
  644. /**

libavcodec/sonic.c:797:5: 
795. 
796.     s->downsampling = get_bits(&gb, 2);
797.     s->num_taps = (get_bits(&gb, 5)+1)<<5;
         ^
798.     if (get_bits1(&gb)) // XXX FIXME
799.         av_log(avctx, AV_LOG_INFO, "Custom quant table\n");

libavcodec/bitstream.h:634:1: start of procedure get_bits()
  632.  * Note, the alt bitstream reader can read up to 25 bits, but the libmpeg2 reader can't
  633.  */
  634. static inline unsigned int get_bits(GetBitContext *s, int n){
       ^
  635.     register int tmp;
  636.     OPEN_READER(re, s)

libavcodec/bitstream.h:636:5: 
  634. static inline unsigned int get_bits(GetBitContext *s, int n){
  635.     register int tmp;
  636.     OPEN_READER(re, s)
           ^
  637.     UPDATE_CACHE(re, s)
  638.     tmp= SHOW_UBITS(re, s, n);

libavcodec/bitstream.h:637:5: 
  635.     register int tmp;
  636.     OPEN_READER(re, s)
  637.     UPDATE_CACHE(re, s)
           ^
  638.     tmp= SHOW_UBITS(re, s, n);
  639.     LAST_SKIP_BITS(re, s, n)

libavcodec/bitstream.h:638:5: 
  636.     OPEN_READER(re, s)
  637.     UPDATE_CACHE(re, s)
  638.     tmp= SHOW_UBITS(re, s, n);
           ^
  639.     LAST_SKIP_BITS(re, s, n)
  640.     CLOSE_READER(re, s)

libavcodec/bitstream.h:639:5: 
  637.     UPDATE_CACHE(re, s)
  638.     tmp= SHOW_UBITS(re, s, n);
  639.     LAST_SKIP_BITS(re, s, n)
           ^
  640.     CLOSE_READER(re, s)
  641.     return tmp;

libavcodec/bitstream.h:640:5: 
  638.     tmp= SHOW_UBITS(re, s, n);
  639.     LAST_SKIP_BITS(re, s, n)
  640.     CLOSE_READER(re, s)
           ^
  641.     return tmp;
  642. }

libavcodec/bitstream.h:641:5: 
  639.     LAST_SKIP_BITS(re, s, n)
  640.     CLOSE_READER(re, s)
  641.     return tmp;
           ^
  642. }
  643. 

libavcodec/bitstream.h:642:1: return from a call to get_bits
  640.     CLOSE_READER(re, s)
  641.     return tmp;
  642. }
       ^
  643. 
  644. /**

libavcodec/sonic.c:798:9: 
796.     s->downsampling = get_bits(&gb, 2);
797.     s->num_taps = (get_bits(&gb, 5)+1)<<5;
798.     if (get_bits1(&gb)) // XXX FIXME
             ^
799.         av_log(avctx, AV_LOG_INFO, "Custom quant table\n");
800. 

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

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

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

libavcodec/bitstream.h:673:5: 
  671.     result&= 1;
  672. #else
  673.     result<<= (index&0x07);
           ^
  674.     result>>= 8 - 1;
  675. #endif

libavcodec/bitstream.h:674:5: 
  672. #else
  673.     result<<= (index&0x07);
  674.     result>>= 8 - 1;
           ^
  675. #endif
  676.     index++;

libavcodec/bitstream.h:676:5: 
  674.     result>>= 8 - 1;
  675. #endif
  676.     index++;
           ^
  677.     s->index= index;
  678. 

libavcodec/bitstream.h:677:5: 
  675. #endif
  676.     index++;
  677.     s->index= index;
           ^
  678. 
  679.     return result;

libavcodec/bitstream.h:679:5: 
  677.     s->index= index;
  678. 
  679.     return result;
           ^
  680. #else
  681.     return get_bits(s, 1);

libavcodec/bitstream.h:683:1: return from a call to get_bits1
  681.     return get_bits(s, 1);
  682. #endif
  683. }
       ^
  684. 
  685. static inline unsigned int show_bits1(GetBitContext *s){

libavcodec/sonic.c:798:9: Taking true branch
796.     s->downsampling = get_bits(&gb, 2);
797.     s->num_taps = (get_bits(&gb, 5)+1)<<5;
798.     if (get_bits1(&gb)) // XXX FIXME
             ^
799.         av_log(avctx, AV_LOG_INFO, "Custom quant table\n");
800. 

libavcodec/sonic.c:799:9: Skipping av_log(): empty list of specs
797.     s->num_taps = (get_bits(&gb, 5)+1)<<5;
798.     if (get_bits1(&gb)) // XXX FIXME
799.         av_log(avctx, AV_LOG_INFO, "Custom quant table\n");
             ^
800. 
801.     s->block_align = (int)(2048.0*(s->samplerate/44100))/s->downsampling;

libavcodec/sonic.c:801:5: 
799.         av_log(avctx, AV_LOG_INFO, "Custom quant table\n");
800. 
801.     s->block_align = (int)(2048.0*(s->samplerate/44100))/s->downsampling;
         ^
802.     s->frame_size = s->channels*s->block_align*s->downsampling;
803. //    avctx->frame_size = s->block_align;

libavcodec/sonic.c:802:5: 
800. 
801.     s->block_align = (int)(2048.0*(s->samplerate/44100))/s->downsampling;
802.     s->frame_size = s->channels*s->block_align*s->downsampling;
         ^
803. //    avctx->frame_size = s->block_align;
804. 

libavcodec/sonic.c:805:5: Skipping av_log(): empty list of specs
803. //    avctx->frame_size = s->block_align;
804. 
805.     av_log(avctx, AV_LOG_INFO, "Sonic: ver: %d ls: %d dr: %d taps: %d block: %d frame: %d downsamp: %d\n",
         ^
806.         version, s->lossless, s->decorrelation, s->num_taps, s->block_align, s->frame_size, s->downsampling);
807. 

libavcodec/sonic.c:809:5: 
807. 
808.     // generate taps
809.     s->tap_quant = av_mallocz(4* s->num_taps);
         ^
810.     for (i = 0; i < s->num_taps; i++)
811.         s->tap_quant[i] = (int)(sqrt(i+1));

libavutil/mem.c:139:1: start of procedure av_mallocz()
  137. }
  138. 
  139. void *av_mallocz(unsigned int size)
       ^
  140. {
  141.     void *ptr = av_malloc(size);

libavutil/mem.c:141:5: 
  139. void *av_mallocz(unsigned int size)
  140. {
  141.     void *ptr = av_malloc(size);
           ^
  142.     if (ptr)
  143.         memset(ptr, 0, size);

libavutil/mem.c:47:1: start of procedure av_malloc()
    45.    linker will do it automatically. */
    46. 
    47. void *av_malloc(unsigned int size)
        ^
    48. {
    49.     void *ptr = NULL;

libavutil/mem.c:49:5: 
    47. void *av_malloc(unsigned int size)
    48. {
    49.     void *ptr = NULL;
            ^
    50. #if CONFIG_MEMALIGN_HACK
    51.     long diff;

libavutil/mem.c:55:8: Taking true branch
    53. 
    54.     /* let's disallow possible ambiguous cases */
    55.     if(size > (INT_MAX-16) )
               ^
    56.         return NULL;
    57. 

libavutil/mem.c:56:9: 
    54.     /* let's disallow possible ambiguous cases */
    55.     if(size > (INT_MAX-16) )
    56.         return NULL;
                ^
    57. 
    58. #if CONFIG_MEMALIGN_HACK

libavutil/mem.c:99:1: return from a call to av_malloc
     97. #endif
     98.     return ptr;
     99. }
         ^
    100. 
    101. void *av_realloc(void *ptr, unsigned int size)

libavutil/mem.c:142:9: Taking false branch
  140. {
  141.     void *ptr = av_malloc(size);
  142.     if (ptr)
               ^
  143.         memset(ptr, 0, size);
  144.     return ptr;

libavutil/mem.c:144:5: 
  142.     if (ptr)
  143.         memset(ptr, 0, size);
  144.     return ptr;
           ^
  145. }
  146. 

libavutil/mem.c:145:1: return from a call to av_mallocz
  143.         memset(ptr, 0, size);
  144.     return ptr;
  145. }
       ^
  146. 
  147. char *av_strdup(const char *s)

libavcodec/sonic.c:810:10: 
808.     // generate taps
809.     s->tap_quant = av_mallocz(4* s->num_taps);
810.     for (i = 0; i < s->num_taps; i++)
              ^
811.         s->tap_quant[i] = (int)(sqrt(i+1));
812. 

libavcodec/sonic.c:810:17: Loop condition is true. Entering loop body
808.     // generate taps
809.     s->tap_quant = av_mallocz(4* s->num_taps);
810.     for (i = 0; i < s->num_taps; i++)
                     ^
811.         s->tap_quant[i] = (int)(sqrt(i+1));
812. 

libavcodec/sonic.c:811:9: 
809.     s->tap_quant = av_mallocz(4* s->num_taps);
810.     for (i = 0; i < s->num_taps; i++)
811.         s->tap_quant[i] = (int)(sqrt(i+1));
             ^
812. 
813.     s->predictor_k = av_mallocz(4* s->num_taps);
