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: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 false 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:477:27: Taking false 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: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/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:362:1: start of procedure get_bits()
  360.  * Note, the alt bitstream reader can read up to 25 bits, but the libmpeg2 reader can't
  361.  */
  362. static inline unsigned int get_bits(GetBitContext *s, int n){
       ^
  363.     register int tmp;
  364.     OPEN_READER(re, s)

libavcodec/get_bits.h:364:5: 
  362. static inline unsigned int get_bits(GetBitContext *s, int n){
  363.     register int tmp;
  364.     OPEN_READER(re, s)
           ^
  365.     UPDATE_CACHE(re, s)
  366.     tmp= SHOW_UBITS(re, s, n);

libavcodec/get_bits.h:365:5: 
  363.     register int tmp;
  364.     OPEN_READER(re, s)
  365.     UPDATE_CACHE(re, s)
           ^
  366.     tmp= SHOW_UBITS(re, s, n);
  367.     LAST_SKIP_BITS(re, s, n)

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

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

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

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

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

libavcodec/get_bits.h:366:5: 
  364.     OPEN_READER(re, s)
  365.     UPDATE_CACHE(re, s)
  366.     tmp= SHOW_UBITS(re, s, n);
           ^
  367.     LAST_SKIP_BITS(re, s, n)
  368.     CLOSE_READER(re, s)

libavcodec/get_bits.h:367:5: 
  365.     UPDATE_CACHE(re, s)
  366.     tmp= SHOW_UBITS(re, s, n);
  367.     LAST_SKIP_BITS(re, s, n)
           ^
  368.     CLOSE_READER(re, s)
  369.     return tmp;

libavcodec/get_bits.h:368:5: 
  366.     tmp= SHOW_UBITS(re, s, n);
  367.     LAST_SKIP_BITS(re, s, n)
  368.     CLOSE_READER(re, s)
           ^
  369.     return tmp;
  370. }

libavcodec/get_bits.h:369:5: 
  367.     LAST_SKIP_BITS(re, s, n)
  368.     CLOSE_READER(re, s)
  369.     return tmp;
           ^
  370. }
  371. 

libavcodec/get_bits.h:370:1: return from a call to get_bits
  368.     CLOSE_READER(re, s)
  369.     return tmp;
  370. }
       ^
  371. 
  372. /**

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:362:1: start of procedure get_bits()
  360.  * Note, the alt bitstream reader can read up to 25 bits, but the libmpeg2 reader can't
  361.  */
  362. static inline unsigned int get_bits(GetBitContext *s, int n){
       ^
  363.     register int tmp;
  364.     OPEN_READER(re, s)

libavcodec/get_bits.h:364:5: 
  362. static inline unsigned int get_bits(GetBitContext *s, int n){
  363.     register int tmp;
  364.     OPEN_READER(re, s)
           ^
  365.     UPDATE_CACHE(re, s)
  366.     tmp= SHOW_UBITS(re, s, n);

libavcodec/get_bits.h:365:5: 
  363.     register int tmp;
  364.     OPEN_READER(re, s)
  365.     UPDATE_CACHE(re, s)
           ^
  366.     tmp= SHOW_UBITS(re, s, n);
  367.     LAST_SKIP_BITS(re, s, n)

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

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

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

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

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

libavcodec/get_bits.h:366:5: 
  364.     OPEN_READER(re, s)
  365.     UPDATE_CACHE(re, s)
  366.     tmp= SHOW_UBITS(re, s, n);
           ^
  367.     LAST_SKIP_BITS(re, s, n)
  368.     CLOSE_READER(re, s)

libavcodec/get_bits.h:367:5: 
  365.     UPDATE_CACHE(re, s)
  366.     tmp= SHOW_UBITS(re, s, n);
  367.     LAST_SKIP_BITS(re, s, n)
           ^
  368.     CLOSE_READER(re, s)
  369.     return tmp;

libavcodec/get_bits.h:368:5: 
  366.     tmp= SHOW_UBITS(re, s, n);
  367.     LAST_SKIP_BITS(re, s, n)
  368.     CLOSE_READER(re, s)
           ^
  369.     return tmp;
  370. }

libavcodec/get_bits.h:369:5: 
  367.     LAST_SKIP_BITS(re, s, n)
  368.     CLOSE_READER(re, s)
  369.     return tmp;
           ^
  370. }
  371. 

libavcodec/get_bits.h:370:1: return from a call to get_bits
  368.     CLOSE_READER(re, s)
  369.     return tmp;
  370. }
       ^
  371. 
  372. /**

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:362:1: start of procedure get_bits()
  360.  * Note, the alt bitstream reader can read up to 25 bits, but the libmpeg2 reader can't
  361.  */
  362. static inline unsigned int get_bits(GetBitContext *s, int n){
       ^
  363.     register int tmp;
  364.     OPEN_READER(re, s)

libavcodec/get_bits.h:364:5: 
  362. static inline unsigned int get_bits(GetBitContext *s, int n){
  363.     register int tmp;
  364.     OPEN_READER(re, s)
           ^
  365.     UPDATE_CACHE(re, s)
  366.     tmp= SHOW_UBITS(re, s, n);

libavcodec/get_bits.h:365:5: 
  363.     register int tmp;
  364.     OPEN_READER(re, s)
  365.     UPDATE_CACHE(re, s)
           ^
  366.     tmp= SHOW_UBITS(re, s, n);
  367.     LAST_SKIP_BITS(re, s, n)

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

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

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

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

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

libavcodec/get_bits.h:366:5: 
  364.     OPEN_READER(re, s)
  365.     UPDATE_CACHE(re, s)
  366.     tmp= SHOW_UBITS(re, s, n);
           ^
  367.     LAST_SKIP_BITS(re, s, n)
  368.     CLOSE_READER(re, s)

libavcodec/get_bits.h:367:5: 
  365.     UPDATE_CACHE(re, s)
  366.     tmp= SHOW_UBITS(re, s, n);
  367.     LAST_SKIP_BITS(re, s, n)
           ^
  368.     CLOSE_READER(re, s)
  369.     return tmp;

libavcodec/get_bits.h:368:5: 
  366.     tmp= SHOW_UBITS(re, s, n);
  367.     LAST_SKIP_BITS(re, s, n)
  368.     CLOSE_READER(re, s)
           ^
  369.     return tmp;
  370. }

libavcodec/get_bits.h:369:5: 
  367.     LAST_SKIP_BITS(re, s, n)
  368.     CLOSE_READER(re, s)
  369.     return tmp;
           ^
  370. }
  371. 

libavcodec/get_bits.h:370:1: return from a call to get_bits
  368.     CLOSE_READER(re, s)
  369.     return tmp;
  370. }
       ^
  371. 
  372. /**

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: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);

libavcodec/get_bits.h:398:5: 
  396.     uint8_t result= s->buffer[ index>>3 ];
  397. #ifdef ALT_BITSTREAM_READER_LE
  398.     result>>= (index&0x07);
           ^
  399.     result&= 1;
  400. #else

libavcodec/get_bits.h:399:5: 
  397. #ifdef ALT_BITSTREAM_READER_LE
  398.     result>>= (index&0x07);
  399.     result&= 1;
           ^
  400. #else
  401.     result<<= (index&0x07);

libavcodec/get_bits.h:404:5: 
  402.     result>>= 8 - 1;
  403. #endif
  404.     index++;
           ^
  405.     s->index= index;
  406. 

libavcodec/get_bits.h:405:5: 
  403. #endif
  404.     index++;
  405.     s->index= index;
           ^
  406. 
  407.     return result;

libavcodec/get_bits.h:407:5: 
  405.     s->index= index;
  406. 
  407.     return result;
           ^
  408. #else
  409.     return get_bits(s, 1);

libavcodec/get_bits.h:411:1: return from a call to get_bits1
  409.     return get_bits(s, 1);
  410. #endif
  411. }
       ^
  412. 
  413. 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:362:1: start of procedure get_bits()
  360.  * Note, the alt bitstream reader can read up to 25 bits, but the libmpeg2 reader can't
  361.  */
  362. static inline unsigned int get_bits(GetBitContext *s, int n){
       ^
  363.     register int tmp;
  364.     OPEN_READER(re, s)

libavcodec/get_bits.h:364:5: 
  362. static inline unsigned int get_bits(GetBitContext *s, int n){
  363.     register int tmp;
  364.     OPEN_READER(re, s)
           ^
  365.     UPDATE_CACHE(re, s)
  366.     tmp= SHOW_UBITS(re, s, n);

libavcodec/get_bits.h:365:5: 
  363.     register int tmp;
  364.     OPEN_READER(re, s)
  365.     UPDATE_CACHE(re, s)
           ^
  366.     tmp= SHOW_UBITS(re, s, n);
  367.     LAST_SKIP_BITS(re, s, n)

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

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

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

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

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

libavcodec/get_bits.h:366:5: 
  364.     OPEN_READER(re, s)
  365.     UPDATE_CACHE(re, s)
  366.     tmp= SHOW_UBITS(re, s, n);
           ^
  367.     LAST_SKIP_BITS(re, s, n)
  368.     CLOSE_READER(re, s)

libavcodec/get_bits.h:367:5: 
  365.     UPDATE_CACHE(re, s)
  366.     tmp= SHOW_UBITS(re, s, n);
  367.     LAST_SKIP_BITS(re, s, n)
           ^
  368.     CLOSE_READER(re, s)
  369.     return tmp;

libavcodec/get_bits.h:368:5: 
  366.     tmp= SHOW_UBITS(re, s, n);
  367.     LAST_SKIP_BITS(re, s, n)
  368.     CLOSE_READER(re, s)
           ^
  369.     return tmp;
  370. }

libavcodec/get_bits.h:369:5: 
  367.     LAST_SKIP_BITS(re, s, n)
  368.     CLOSE_READER(re, s)
  369.     return tmp;
           ^
  370. }
  371. 

libavcodec/get_bits.h:370:1: return from a call to get_bits
  368.     CLOSE_READER(re, s)
  369.     return tmp;
  370. }
       ^
  371. 
  372. /**

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:362:1: start of procedure get_bits()
  360.  * Note, the alt bitstream reader can read up to 25 bits, but the libmpeg2 reader can't
  361.  */
  362. static inline unsigned int get_bits(GetBitContext *s, int n){
       ^
  363.     register int tmp;
  364.     OPEN_READER(re, s)

libavcodec/get_bits.h:364:5: 
  362. static inline unsigned int get_bits(GetBitContext *s, int n){
  363.     register int tmp;
  364.     OPEN_READER(re, s)
           ^
  365.     UPDATE_CACHE(re, s)
  366.     tmp= SHOW_UBITS(re, s, n);

libavcodec/get_bits.h:365:5: 
  363.     register int tmp;
  364.     OPEN_READER(re, s)
  365.     UPDATE_CACHE(re, s)
           ^
  366.     tmp= SHOW_UBITS(re, s, n);
  367.     LAST_SKIP_BITS(re, s, n)

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

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

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

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

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

libavcodec/get_bits.h:366:5: 
  364.     OPEN_READER(re, s)
  365.     UPDATE_CACHE(re, s)
  366.     tmp= SHOW_UBITS(re, s, n);
           ^
  367.     LAST_SKIP_BITS(re, s, n)
  368.     CLOSE_READER(re, s)

libavcodec/get_bits.h:367:5: 
  365.     UPDATE_CACHE(re, s)
  366.     tmp= SHOW_UBITS(re, s, n);
  367.     LAST_SKIP_BITS(re, s, n)
           ^
  368.     CLOSE_READER(re, s)
  369.     return tmp;

libavcodec/get_bits.h:368:5: 
  366.     tmp= SHOW_UBITS(re, s, n);
  367.     LAST_SKIP_BITS(re, s, n)
  368.     CLOSE_READER(re, s)
           ^
  369.     return tmp;
  370. }

libavcodec/get_bits.h:369:5: 
  367.     LAST_SKIP_BITS(re, s, n)
  368.     CLOSE_READER(re, s)
  369.     return tmp;
           ^
  370. }
  371. 

libavcodec/get_bits.h:370:1: return from a call to get_bits
  368.     CLOSE_READER(re, s)
  369.     return tmp;
  370. }
       ^
  371. 
  372. /**

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:362:1: start of procedure get_bits()
  360.  * Note, the alt bitstream reader can read up to 25 bits, but the libmpeg2 reader can't
  361.  */
  362. static inline unsigned int get_bits(GetBitContext *s, int n){
       ^
  363.     register int tmp;
  364.     OPEN_READER(re, s)

libavcodec/get_bits.h:364:5: 
  362. static inline unsigned int get_bits(GetBitContext *s, int n){
  363.     register int tmp;
  364.     OPEN_READER(re, s)
           ^
  365.     UPDATE_CACHE(re, s)
  366.     tmp= SHOW_UBITS(re, s, n);

libavcodec/get_bits.h:365:5: 
  363.     register int tmp;
  364.     OPEN_READER(re, s)
  365.     UPDATE_CACHE(re, s)
           ^
  366.     tmp= SHOW_UBITS(re, s, n);
  367.     LAST_SKIP_BITS(re, s, n)

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

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

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

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

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

libavcodec/get_bits.h:366:5: 
  364.     OPEN_READER(re, s)
  365.     UPDATE_CACHE(re, s)
  366.     tmp= SHOW_UBITS(re, s, n);
           ^
  367.     LAST_SKIP_BITS(re, s, n)
  368.     CLOSE_READER(re, s)

libavcodec/get_bits.h:367:5: 
  365.     UPDATE_CACHE(re, s)
  366.     tmp= SHOW_UBITS(re, s, n);
  367.     LAST_SKIP_BITS(re, s, n)
           ^
  368.     CLOSE_READER(re, s)
  369.     return tmp;

libavcodec/get_bits.h:368:5: 
  366.     tmp= SHOW_UBITS(re, s, n);
  367.     LAST_SKIP_BITS(re, s, n)
  368.     CLOSE_READER(re, s)
           ^
  369.     return tmp;
  370. }

libavcodec/get_bits.h:369:5: 
  367.     LAST_SKIP_BITS(re, s, n)
  368.     CLOSE_READER(re, s)
  369.     return tmp;
           ^
  370. }
  371. 

libavcodec/get_bits.h:370:1: return from a call to get_bits
  368.     CLOSE_READER(re, s)
  369.     return tmp;
  370. }
       ^
  371. 
  372. /**

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: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);

libavcodec/get_bits.h:398:5: 
  396.     uint8_t result= s->buffer[ index>>3 ];
  397. #ifdef ALT_BITSTREAM_READER_LE
  398.     result>>= (index&0x07);
           ^
  399.     result&= 1;
  400. #else

libavcodec/get_bits.h:399:5: 
  397. #ifdef ALT_BITSTREAM_READER_LE
  398.     result>>= (index&0x07);
  399.     result&= 1;
           ^
  400. #else
  401.     result<<= (index&0x07);

libavcodec/get_bits.h:404:5: 
  402.     result>>= 8 - 1;
  403. #endif
  404.     index++;
           ^
  405.     s->index= index;
  406. 

libavcodec/get_bits.h:405:5: 
  403. #endif
  404.     index++;
  405.     s->index= index;
           ^
  406. 
  407.     return result;

libavcodec/get_bits.h:407:5: 
  405.     s->index= index;
  406. 
  407.     return result;
           ^
  408. #else
  409.     return get_bits(s, 1);

libavcodec/get_bits.h:411:1: return from a call to get_bits1
  409.     return get_bits(s, 1);
  410. #endif
  411. }
       ^
  412. 
  413. 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:157:1: start of procedure av_mallocz()
  155. }
  156. 
  157. void *av_mallocz(unsigned int size)
       ^
  158. {
  159.     void *ptr = av_malloc(size);

libavutil/mem.c:159:5: 
  157. void *av_mallocz(unsigned int size)
  158. {
  159.     void *ptr = av_malloc(size);
           ^
  160.     if (ptr)
  161.         memset(ptr, 0, size);

libavutil/mem.c:64:1: start of procedure av_malloc()
    62.    linker will do it automatically. */
    63. 
    64. void *av_malloc(unsigned int size)
        ^
    65. {
    66.     void *ptr = NULL;

libavutil/mem.c:66:5: 
    64. void *av_malloc(unsigned int size)
    65. {
    66.     void *ptr = NULL;
            ^
    67. #if CONFIG_MEMALIGN_HACK
    68.     long diff;

libavutil/mem.c:72:8: Taking true branch
    70. 
    71.     /* let's disallow possible ambiguous cases */
    72.     if(size > (INT_MAX-16) )
               ^
    73.         return NULL;
    74. 

libavutil/mem.c:73:9: 
    71.     /* let's disallow possible ambiguous cases */
    72.     if(size > (INT_MAX-16) )
    73.         return NULL;
                ^
    74. 
    75. #if CONFIG_MEMALIGN_HACK

libavutil/mem.c:117:1: return from a call to av_malloc
    115. #endif
    116.     return ptr;
    117. }
         ^
    118. 
    119. void *av_realloc(void *ptr, unsigned int size)

libavutil/mem.c:160:9: Taking false branch
  158. {
  159.     void *ptr = av_malloc(size);
  160.     if (ptr)
               ^
  161.         memset(ptr, 0, size);
  162.     return ptr;

libavutil/mem.c:162:5: 
  160.     if (ptr)
  161.         memset(ptr, 0, size);
  162.     return ptr;
           ^
  163. }
  164. 

libavutil/mem.c:163:1: return from a call to av_mallocz
  161.         memset(ptr, 0, size);
  162.     return ptr;
  163. }
       ^
  164. 
  165. 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);
