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

libavcodec/sonic.c:751:1: start of procedure sonic_decode_init()
749.     { 44100, 22050, 11025, 96000, 48000, 32000, 24000, 16000, 8000 };
750. 
751. static av_cold int sonic_decode_init(AVCodecContext *avctx)
     ^
752. {
753.     SonicContext *s = avctx->priv_data;

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

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

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

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

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

libavcodec/get_bits.h:493:1: start of procedure init_get_bits()
  491.  * @param bit_size the size of the buffer in bits
  492.  */
  493. static inline void init_get_bits(GetBitContext *s,
       ^
  494.                    const uint8_t *buffer, int bit_size)
  495. {

libavcodec/get_bits.h:496:5: 
  494.                    const uint8_t *buffer, int bit_size)
  495. {
  496.     int buffer_size= (bit_size+7)>>3;
           ^
  497.     if(buffer_size < 0 || bit_size < 0) {
  498.         buffer_size = bit_size = 0;

libavcodec/get_bits.h:497:8: Taking false branch
  495. {
  496.     int buffer_size= (bit_size+7)>>3;
  497.     if(buffer_size < 0 || bit_size < 0) {
              ^
  498.         buffer_size = bit_size = 0;
  499.         buffer = NULL;

libavcodec/get_bits.h:497:27: Taking false branch
  495. {
  496.     int buffer_size= (bit_size+7)>>3;
  497.     if(buffer_size < 0 || bit_size < 0) {
                                 ^
  498.         buffer_size = bit_size = 0;
  499.         buffer = NULL;

libavcodec/get_bits.h:502:5: 
  500.     }
  501. 
  502.     s->buffer= buffer;
           ^
  503.     s->size_in_bits= bit_size;
  504.     s->buffer_end= buffer + buffer_size;

libavcodec/get_bits.h:503:5: 
  501. 
  502.     s->buffer= buffer;
  503.     s->size_in_bits= bit_size;
           ^
  504.     s->buffer_end= buffer + buffer_size;
  505. #ifdef ALT_BITSTREAM_READER

libavcodec/get_bits.h:504:5: 
  502.     s->buffer= buffer;
  503.     s->size_in_bits= bit_size;
  504.     s->buffer_end= buffer + buffer_size;
           ^
  505. #ifdef ALT_BITSTREAM_READER
  506.     s->index=0;

libavcodec/get_bits.h:506:5: 
  504.     s->buffer_end= buffer + buffer_size;
  505. #ifdef ALT_BITSTREAM_READER
  506.     s->index=0;
           ^
  507. #elif defined LIBMPEG2_BITSTREAM_READER
  508.     s->buffer_ptr = (uint8_t*)((intptr_t)buffer&(~1));

libavcodec/get_bits.h:516:1: return from a call to init_get_bits
  514.     skip_bits_long(s, 0);
  515. #endif
  516. }
       ^
  517. 
  518. static inline void align_get_bits(GetBitContext *s)

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

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

libavcodec/get_bits.h:387:5: 
  385. static inline unsigned int get_bits(GetBitContext *s, int n){
  386.     register int tmp;
  387.     OPEN_READER(re, s)
           ^
  388.     UPDATE_CACHE(re, s)
  389.     tmp= SHOW_UBITS(re, s, n);

libavcodec/get_bits.h:388:5: 
  386.     register int tmp;
  387.     OPEN_READER(re, s)
  388.     UPDATE_CACHE(re, s)
           ^
  389.     tmp= SHOW_UBITS(re, s, n);
  390.     LAST_SKIP_BITS(re, s, n)

libavutil/bswap.h:52:1: start of procedure bswap_32()
    50. 
    51. #ifndef bswap_32
    52. static av_always_inline av_const uint32_t bswap_32(uint32_t x)
        ^
    53. {
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);

libavutil/bswap.h:54:5: 
    52. static av_always_inline av_const uint32_t bswap_32(uint32_t x)
    53. {
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);
            ^
    55.     x= (x>>16) | (x<<16);
    56.     return x;

libavutil/bswap.h:55:5: 
    53. {
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);
    55.     x= (x>>16) | (x<<16);
            ^
    56.     return x;
    57. }

libavutil/bswap.h:56:5: 
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);
    55.     x= (x>>16) | (x<<16);
    56.     return x;
            ^
    57. }
    58. #endif

libavutil/bswap.h:57:1: return from a call to bswap_32
    55.     x= (x>>16) | (x<<16);
    56.     return x;
    57. }
        ^
    58. #endif
    59. 

libavcodec/get_bits.h:389:5: 
  387.     OPEN_READER(re, s)
  388.     UPDATE_CACHE(re, s)
  389.     tmp= SHOW_UBITS(re, s, n);
           ^
  390.     LAST_SKIP_BITS(re, s, n)
  391.     CLOSE_READER(re, s)

libavcodec/get_bits.h:390:5: 
  388.     UPDATE_CACHE(re, s)
  389.     tmp= SHOW_UBITS(re, s, n);
  390.     LAST_SKIP_BITS(re, s, n)
           ^
  391.     CLOSE_READER(re, s)
  392.     return tmp;

libavcodec/get_bits.h:391:5: 
  389.     tmp= SHOW_UBITS(re, s, n);
  390.     LAST_SKIP_BITS(re, s, n)
  391.     CLOSE_READER(re, s)
           ^
  392.     return tmp;
  393. }

libavcodec/get_bits.h:392:5: 
  390.     LAST_SKIP_BITS(re, s, n)
  391.     CLOSE_READER(re, s)
  392.     return tmp;
           ^
  393. }
  394. 

libavcodec/get_bits.h:393:1: return from a call to get_bits
  391.     CLOSE_READER(re, s)
  392.     return tmp;
  393. }
       ^
  394. 
  395. /**

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

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

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

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

libavcodec/get_bits.h:387:5: 
  385. static inline unsigned int get_bits(GetBitContext *s, int n){
  386.     register int tmp;
  387.     OPEN_READER(re, s)
           ^
  388.     UPDATE_CACHE(re, s)
  389.     tmp= SHOW_UBITS(re, s, n);

libavcodec/get_bits.h:388:5: 
  386.     register int tmp;
  387.     OPEN_READER(re, s)
  388.     UPDATE_CACHE(re, s)
           ^
  389.     tmp= SHOW_UBITS(re, s, n);
  390.     LAST_SKIP_BITS(re, s, n)

libavutil/bswap.h:52:1: start of procedure bswap_32()
    50. 
    51. #ifndef bswap_32
    52. static av_always_inline av_const uint32_t bswap_32(uint32_t x)
        ^
    53. {
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);

libavutil/bswap.h:54:5: 
    52. static av_always_inline av_const uint32_t bswap_32(uint32_t x)
    53. {
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);
            ^
    55.     x= (x>>16) | (x<<16);
    56.     return x;

libavutil/bswap.h:55:5: 
    53. {
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);
    55.     x= (x>>16) | (x<<16);
            ^
    56.     return x;
    57. }

libavutil/bswap.h:56:5: 
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);
    55.     x= (x>>16) | (x<<16);
    56.     return x;
            ^
    57. }
    58. #endif

libavutil/bswap.h:57:1: return from a call to bswap_32
    55.     x= (x>>16) | (x<<16);
    56.     return x;
    57. }
        ^
    58. #endif
    59. 

libavcodec/get_bits.h:389:5: 
  387.     OPEN_READER(re, s)
  388.     UPDATE_CACHE(re, s)
  389.     tmp= SHOW_UBITS(re, s, n);
           ^
  390.     LAST_SKIP_BITS(re, s, n)
  391.     CLOSE_READER(re, s)

libavcodec/get_bits.h:390:5: 
  388.     UPDATE_CACHE(re, s)
  389.     tmp= SHOW_UBITS(re, s, n);
  390.     LAST_SKIP_BITS(re, s, n)
           ^
  391.     CLOSE_READER(re, s)
  392.     return tmp;

libavcodec/get_bits.h:391:5: 
  389.     tmp= SHOW_UBITS(re, s, n);
  390.     LAST_SKIP_BITS(re, s, n)
  391.     CLOSE_READER(re, s)
           ^
  392.     return tmp;
  393. }

libavcodec/get_bits.h:392:5: 
  390.     LAST_SKIP_BITS(re, s, n)
  391.     CLOSE_READER(re, s)
  392.     return tmp;
           ^
  393. }
  394. 

libavcodec/get_bits.h:393:1: return from a call to get_bits
  391.     CLOSE_READER(re, s)
  392.     return tmp;
  393. }
       ^
  394. 
  395. /**

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

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

libavcodec/get_bits.h:387:5: 
  385. static inline unsigned int get_bits(GetBitContext *s, int n){
  386.     register int tmp;
  387.     OPEN_READER(re, s)
           ^
  388.     UPDATE_CACHE(re, s)
  389.     tmp= SHOW_UBITS(re, s, n);

libavcodec/get_bits.h:388:5: 
  386.     register int tmp;
  387.     OPEN_READER(re, s)
  388.     UPDATE_CACHE(re, s)
           ^
  389.     tmp= SHOW_UBITS(re, s, n);
  390.     LAST_SKIP_BITS(re, s, n)

libavutil/bswap.h:52:1: start of procedure bswap_32()
    50. 
    51. #ifndef bswap_32
    52. static av_always_inline av_const uint32_t bswap_32(uint32_t x)
        ^
    53. {
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);

libavutil/bswap.h:54:5: 
    52. static av_always_inline av_const uint32_t bswap_32(uint32_t x)
    53. {
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);
            ^
    55.     x= (x>>16) | (x<<16);
    56.     return x;

libavutil/bswap.h:55:5: 
    53. {
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);
    55.     x= (x>>16) | (x<<16);
            ^
    56.     return x;
    57. }

libavutil/bswap.h:56:5: 
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);
    55.     x= (x>>16) | (x<<16);
    56.     return x;
            ^
    57. }
    58. #endif

libavutil/bswap.h:57:1: return from a call to bswap_32
    55.     x= (x>>16) | (x<<16);
    56.     return x;
    57. }
        ^
    58. #endif
    59. 

libavcodec/get_bits.h:389:5: 
  387.     OPEN_READER(re, s)
  388.     UPDATE_CACHE(re, s)
  389.     tmp= SHOW_UBITS(re, s, n);
           ^
  390.     LAST_SKIP_BITS(re, s, n)
  391.     CLOSE_READER(re, s)

libavcodec/get_bits.h:390:5: 
  388.     UPDATE_CACHE(re, s)
  389.     tmp= SHOW_UBITS(re, s, n);
  390.     LAST_SKIP_BITS(re, s, n)
           ^
  391.     CLOSE_READER(re, s)
  392.     return tmp;

libavcodec/get_bits.h:391:5: 
  389.     tmp= SHOW_UBITS(re, s, n);
  390.     LAST_SKIP_BITS(re, s, n)
  391.     CLOSE_READER(re, s)
           ^
  392.     return tmp;
  393. }

libavcodec/get_bits.h:392:5: 
  390.     LAST_SKIP_BITS(re, s, n)
  391.     CLOSE_READER(re, s)
  392.     return tmp;
           ^
  393. }
  394. 

libavcodec/get_bits.h:393:1: return from a call to get_bits
  391.     CLOSE_READER(re, s)
  392.     return tmp;
  393. }
       ^
  394. 
  395. /**

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

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

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

libavcodec/get_bits.h:416:1: start of procedure get_bits1()
  414. }
  415. 
  416. static inline unsigned int get_bits1(GetBitContext *s){
       ^
  417. #ifdef ALT_BITSTREAM_READER
  418.     int index= s->index;

libavcodec/get_bits.h:418:5: 
  416. static inline unsigned int get_bits1(GetBitContext *s){
  417. #ifdef ALT_BITSTREAM_READER
  418.     int index= s->index;
           ^
  419.     uint8_t result= s->buffer[ index>>3 ];
  420. #ifdef ALT_BITSTREAM_READER_LE

libavcodec/get_bits.h:419:5: 
  417. #ifdef ALT_BITSTREAM_READER
  418.     int index= s->index;
  419.     uint8_t result= s->buffer[ index>>3 ];
           ^
  420. #ifdef ALT_BITSTREAM_READER_LE
  421.     result>>= (index&0x07);

libavcodec/get_bits.h:424:5: 
  422.     result&= 1;
  423. #else
  424.     result<<= (index&0x07);
           ^
  425.     result>>= 8 - 1;
  426. #endif

libavcodec/get_bits.h:425:5: 
  423. #else
  424.     result<<= (index&0x07);
  425.     result>>= 8 - 1;
           ^
  426. #endif
  427.     index++;

libavcodec/get_bits.h:427:5: 
  425.     result>>= 8 - 1;
  426. #endif
  427.     index++;
           ^
  428.     s->index= index;
  429. 

libavcodec/get_bits.h:428:5: 
  426. #endif
  427.     index++;
  428.     s->index= index;
           ^
  429. 
  430.     return result;

libavcodec/get_bits.h:430:5: 
  428.     s->index= index;
  429. 
  430.     return result;
           ^
  431. #else
  432.     return get_bits(s, 1);

libavcodec/get_bits.h:434:1: return from a call to get_bits1
  432.     return get_bits(s, 1);
  433. #endif
  434. }
       ^
  435. 
  436. static inline unsigned int show_bits1(GetBitContext *s){

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

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

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

libavcodec/get_bits.h:387:5: 
  385. static inline unsigned int get_bits(GetBitContext *s, int n){
  386.     register int tmp;
  387.     OPEN_READER(re, s)
           ^
  388.     UPDATE_CACHE(re, s)
  389.     tmp= SHOW_UBITS(re, s, n);

libavcodec/get_bits.h:388:5: 
  386.     register int tmp;
  387.     OPEN_READER(re, s)
  388.     UPDATE_CACHE(re, s)
           ^
  389.     tmp= SHOW_UBITS(re, s, n);
  390.     LAST_SKIP_BITS(re, s, n)

libavutil/bswap.h:52:1: start of procedure bswap_32()
    50. 
    51. #ifndef bswap_32
    52. static av_always_inline av_const uint32_t bswap_32(uint32_t x)
        ^
    53. {
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);

libavutil/bswap.h:54:5: 
    52. static av_always_inline av_const uint32_t bswap_32(uint32_t x)
    53. {
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);
            ^
    55.     x= (x>>16) | (x<<16);
    56.     return x;

libavutil/bswap.h:55:5: 
    53. {
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);
    55.     x= (x>>16) | (x<<16);
            ^
    56.     return x;
    57. }

libavutil/bswap.h:56:5: 
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);
    55.     x= (x>>16) | (x<<16);
    56.     return x;
            ^
    57. }
    58. #endif

libavutil/bswap.h:57:1: return from a call to bswap_32
    55.     x= (x>>16) | (x<<16);
    56.     return x;
    57. }
        ^
    58. #endif
    59. 

libavcodec/get_bits.h:389:5: 
  387.     OPEN_READER(re, s)
  388.     UPDATE_CACHE(re, s)
  389.     tmp= SHOW_UBITS(re, s, n);
           ^
  390.     LAST_SKIP_BITS(re, s, n)
  391.     CLOSE_READER(re, s)

libavcodec/get_bits.h:390:5: 
  388.     UPDATE_CACHE(re, s)
  389.     tmp= SHOW_UBITS(re, s, n);
  390.     LAST_SKIP_BITS(re, s, n)
           ^
  391.     CLOSE_READER(re, s)
  392.     return tmp;

libavcodec/get_bits.h:391:5: 
  389.     tmp= SHOW_UBITS(re, s, n);
  390.     LAST_SKIP_BITS(re, s, n)
  391.     CLOSE_READER(re, s)
           ^
  392.     return tmp;
  393. }

libavcodec/get_bits.h:392:5: 
  390.     LAST_SKIP_BITS(re, s, n)
  391.     CLOSE_READER(re, s)
  392.     return tmp;
           ^
  393. }
  394. 

libavcodec/get_bits.h:393:1: return from a call to get_bits
  391.     CLOSE_READER(re, s)
  392.     return tmp;
  393. }
       ^
  394. 
  395. /**

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

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

libavcodec/get_bits.h:387:5: 
  385. static inline unsigned int get_bits(GetBitContext *s, int n){
  386.     register int tmp;
  387.     OPEN_READER(re, s)
           ^
  388.     UPDATE_CACHE(re, s)
  389.     tmp= SHOW_UBITS(re, s, n);

libavcodec/get_bits.h:388:5: 
  386.     register int tmp;
  387.     OPEN_READER(re, s)
  388.     UPDATE_CACHE(re, s)
           ^
  389.     tmp= SHOW_UBITS(re, s, n);
  390.     LAST_SKIP_BITS(re, s, n)

libavutil/bswap.h:52:1: start of procedure bswap_32()
    50. 
    51. #ifndef bswap_32
    52. static av_always_inline av_const uint32_t bswap_32(uint32_t x)
        ^
    53. {
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);

libavutil/bswap.h:54:5: 
    52. static av_always_inline av_const uint32_t bswap_32(uint32_t x)
    53. {
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);
            ^
    55.     x= (x>>16) | (x<<16);
    56.     return x;

libavutil/bswap.h:55:5: 
    53. {
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);
    55.     x= (x>>16) | (x<<16);
            ^
    56.     return x;
    57. }

libavutil/bswap.h:56:5: 
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);
    55.     x= (x>>16) | (x<<16);
    56.     return x;
            ^
    57. }
    58. #endif

libavutil/bswap.h:57:1: return from a call to bswap_32
    55.     x= (x>>16) | (x<<16);
    56.     return x;
    57. }
        ^
    58. #endif
    59. 

libavcodec/get_bits.h:389:5: 
  387.     OPEN_READER(re, s)
  388.     UPDATE_CACHE(re, s)
  389.     tmp= SHOW_UBITS(re, s, n);
           ^
  390.     LAST_SKIP_BITS(re, s, n)
  391.     CLOSE_READER(re, s)

libavcodec/get_bits.h:390:5: 
  388.     UPDATE_CACHE(re, s)
  389.     tmp= SHOW_UBITS(re, s, n);
  390.     LAST_SKIP_BITS(re, s, n)
           ^
  391.     CLOSE_READER(re, s)
  392.     return tmp;

libavcodec/get_bits.h:391:5: 
  389.     tmp= SHOW_UBITS(re, s, n);
  390.     LAST_SKIP_BITS(re, s, n)
  391.     CLOSE_READER(re, s)
           ^
  392.     return tmp;
  393. }

libavcodec/get_bits.h:392:5: 
  390.     LAST_SKIP_BITS(re, s, n)
  391.     CLOSE_READER(re, s)
  392.     return tmp;
           ^
  393. }
  394. 

libavcodec/get_bits.h:393:1: return from a call to get_bits
  391.     CLOSE_READER(re, s)
  392.     return tmp;
  393. }
       ^
  394. 
  395. /**

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

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

libavcodec/get_bits.h:387:5: 
  385. static inline unsigned int get_bits(GetBitContext *s, int n){
  386.     register int tmp;
  387.     OPEN_READER(re, s)
           ^
  388.     UPDATE_CACHE(re, s)
  389.     tmp= SHOW_UBITS(re, s, n);

libavcodec/get_bits.h:388:5: 
  386.     register int tmp;
  387.     OPEN_READER(re, s)
  388.     UPDATE_CACHE(re, s)
           ^
  389.     tmp= SHOW_UBITS(re, s, n);
  390.     LAST_SKIP_BITS(re, s, n)

libavutil/bswap.h:52:1: start of procedure bswap_32()
    50. 
    51. #ifndef bswap_32
    52. static av_always_inline av_const uint32_t bswap_32(uint32_t x)
        ^
    53. {
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);

libavutil/bswap.h:54:5: 
    52. static av_always_inline av_const uint32_t bswap_32(uint32_t x)
    53. {
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);
            ^
    55.     x= (x>>16) | (x<<16);
    56.     return x;

libavutil/bswap.h:55:5: 
    53. {
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);
    55.     x= (x>>16) | (x<<16);
            ^
    56.     return x;
    57. }

libavutil/bswap.h:56:5: 
    54.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);
    55.     x= (x>>16) | (x<<16);
    56.     return x;
            ^
    57. }
    58. #endif

libavutil/bswap.h:57:1: return from a call to bswap_32
    55.     x= (x>>16) | (x<<16);
    56.     return x;
    57. }
        ^
    58. #endif
    59. 

libavcodec/get_bits.h:389:5: 
  387.     OPEN_READER(re, s)
  388.     UPDATE_CACHE(re, s)
  389.     tmp= SHOW_UBITS(re, s, n);
           ^
  390.     LAST_SKIP_BITS(re, s, n)
  391.     CLOSE_READER(re, s)

libavcodec/get_bits.h:390:5: 
  388.     UPDATE_CACHE(re, s)
  389.     tmp= SHOW_UBITS(re, s, n);
  390.     LAST_SKIP_BITS(re, s, n)
           ^
  391.     CLOSE_READER(re, s)
  392.     return tmp;

libavcodec/get_bits.h:391:5: 
  389.     tmp= SHOW_UBITS(re, s, n);
  390.     LAST_SKIP_BITS(re, s, n)
  391.     CLOSE_READER(re, s)
           ^
  392.     return tmp;
  393. }

libavcodec/get_bits.h:392:5: 
  390.     LAST_SKIP_BITS(re, s, n)
  391.     CLOSE_READER(re, s)
  392.     return tmp;
           ^
  393. }
  394. 

libavcodec/get_bits.h:393:1: return from a call to get_bits
  391.     CLOSE_READER(re, s)
  392.     return tmp;
  393. }
       ^
  394. 
  395. /**

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

libavcodec/get_bits.h:416:1: start of procedure get_bits1()
  414. }
  415. 
  416. static inline unsigned int get_bits1(GetBitContext *s){
       ^
  417. #ifdef ALT_BITSTREAM_READER
  418.     int index= s->index;

libavcodec/get_bits.h:418:5: 
  416. static inline unsigned int get_bits1(GetBitContext *s){
  417. #ifdef ALT_BITSTREAM_READER
  418.     int index= s->index;
           ^
  419.     uint8_t result= s->buffer[ index>>3 ];
  420. #ifdef ALT_BITSTREAM_READER_LE

libavcodec/get_bits.h:419:5: 
  417. #ifdef ALT_BITSTREAM_READER
  418.     int index= s->index;
  419.     uint8_t result= s->buffer[ index>>3 ];
           ^
  420. #ifdef ALT_BITSTREAM_READER_LE
  421.     result>>= (index&0x07);

libavcodec/get_bits.h:424:5: 
  422.     result&= 1;
  423. #else
  424.     result<<= (index&0x07);
           ^
  425.     result>>= 8 - 1;
  426. #endif

libavcodec/get_bits.h:425:5: 
  423. #else
  424.     result<<= (index&0x07);
  425.     result>>= 8 - 1;
           ^
  426. #endif
  427.     index++;

libavcodec/get_bits.h:427:5: 
  425.     result>>= 8 - 1;
  426. #endif
  427.     index++;
           ^
  428.     s->index= index;
  429. 

libavcodec/get_bits.h:428:5: 
  426. #endif
  427.     index++;
  428.     s->index= index;
           ^
  429. 
  430.     return result;

libavcodec/get_bits.h:430:5: 
  428.     s->index= index;
  429. 
  430.     return result;
           ^
  431. #else
  432.     return get_bits(s, 1);

libavcodec/get_bits.h:434:1: return from a call to get_bits1
  432.     return get_bits(s, 1);
  433. #endif
  434. }
       ^
  435. 
  436. static inline unsigned int show_bits1(GetBitContext *s){

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

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

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

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

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

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

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

libavutil/mem.c:142:5: 
  140. void *av_mallocz(unsigned int size)
  141. {
  142.     void *ptr = av_malloc(size);
           ^
  143.     if (ptr)
  144.         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:100:1: return from a call to av_malloc
     98. #endif
     99.     return ptr;
    100. }
         ^
    101. 
    102. void *av_realloc(void *ptr, unsigned int size)

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

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

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

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

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

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