libavcodec/alacenc.c:472: error: Null Dereference
  pointer `s->pbctx.buf_ptr` last assigned on line 467 could be null and is dereferenced by call to `write_frame_header()` at line 472, column 9.

libavcodec/alacenc.c:449:1: start of procedure alac_encode_frame()
447. }
448. 
449. static int alac_encode_frame(AVCodecContext *avctx, uint8_t *frame,
     ^
450.                              int buf_size, void *data)
451. {

libavcodec/alacenc.c:452:5: 
450.                              int buf_size, void *data)
451. {
452.     AlacEncodeContext *s = avctx->priv_data;
         ^
453.     PutBitContext *pb = &s->pbctx;
454.     int i, out_bytes, verbatim_flag = 0;

libavcodec/alacenc.c:453:5: 
451. {
452.     AlacEncodeContext *s = avctx->priv_data;
453.     PutBitContext *pb = &s->pbctx;
         ^
454.     int i, out_bytes, verbatim_flag = 0;
455. 

libavcodec/alacenc.c:454:5: 
452.     AlacEncodeContext *s = avctx->priv_data;
453.     PutBitContext *pb = &s->pbctx;
454.     int i, out_bytes, verbatim_flag = 0;
         ^
455. 
456.     if(avctx->frame_size > DEFAULT_FRAME_SIZE) {

libavcodec/alacenc.c:456:8: Taking false branch
454.     int i, out_bytes, verbatim_flag = 0;
455. 
456.     if(avctx->frame_size > DEFAULT_FRAME_SIZE) {
            ^
457.         av_log(avctx, AV_LOG_ERROR, "input frame size exceeded\n");
458.         return -1;

libavcodec/alacenc.c:461:8: Taking false branch
459.     }
460. 
461.     if(buf_size < 2*s->max_coded_frame_size) {
            ^
462.         av_log(avctx, AV_LOG_ERROR, "buffer size is too small\n");
463.         return -1;

libavcodec/alacenc.c:494:9: 
492.         }
493.         verbatim_flag = 1;
494.         goto verbatim;
             ^
495.     }
496. 

libavcodec/alacenc.c:467:5: 
465. 
466. verbatim:
467.     init_put_bits(pb, frame, buf_size);
         ^
468. 
469.     if((s->compression_level == 0) || verbatim_flag) {

libavcodec/put_bits.h:60:1: start of procedure init_put_bits()
  58.  * @param buffer_size the size in bytes of buffer
  59.  */
  60. static inline void init_put_bits(PutBitContext *s, uint8_t *buffer, int buffer_size)
      ^
  61. {
  62.     if(buffer_size < 0) {

libavcodec/put_bits.h:62:8: Taking true branch
  60. static inline void init_put_bits(PutBitContext *s, uint8_t *buffer, int buffer_size)
  61. {
  62.     if(buffer_size < 0) {
             ^
  63.         buffer_size = 0;
  64.         buffer = NULL;

libavcodec/put_bits.h:63:9: 
  61. {
  62.     if(buffer_size < 0) {
  63.         buffer_size = 0;
              ^
  64.         buffer = NULL;
  65.     }

libavcodec/put_bits.h:64:9: 
  62.     if(buffer_size < 0) {
  63.         buffer_size = 0;
  64.         buffer = NULL;
              ^
  65.     }
  66. 

libavcodec/put_bits.h:67:5: 
  65.     }
  66. 
  67.     s->size_in_bits= 8*buffer_size;
          ^
  68.     s->buf = buffer;
  69.     s->buf_end = s->buf + buffer_size;

libavcodec/put_bits.h:68:5: 
  66. 
  67.     s->size_in_bits= 8*buffer_size;
  68.     s->buf = buffer;
          ^
  69.     s->buf_end = s->buf + buffer_size;
  70. #ifdef ALT_BITSTREAM_WRITER

libavcodec/put_bits.h:69:5: 
  67.     s->size_in_bits= 8*buffer_size;
  68.     s->buf = buffer;
  69.     s->buf_end = s->buf + buffer_size;
          ^
  70. #ifdef ALT_BITSTREAM_WRITER
  71.     s->index=0;

libavcodec/put_bits.h:75:5: 
  73. //    memset(buffer, 0, buffer_size);
  74. #else
  75.     s->buf_ptr = s->buf;
          ^
  76.     s->bit_left=32;
  77.     s->bit_buf=0;

libavcodec/put_bits.h:76:5: 
  74. #else
  75.     s->buf_ptr = s->buf;
  76.     s->bit_left=32;
          ^
  77.     s->bit_buf=0;
  78. #endif

libavcodec/put_bits.h:77:5: 
  75.     s->buf_ptr = s->buf;
  76.     s->bit_left=32;
  77.     s->bit_buf=0;
          ^
  78. #endif
  79. }

libavcodec/put_bits.h:79:1: return from a call to init_put_bits
  77.     s->bit_buf=0;
  78. #endif
  79. }
      ^
  80. 
  81. /**

libavcodec/alacenc.c:469:9: Taking true branch
467.     init_put_bits(pb, frame, buf_size);
468. 
469.     if((s->compression_level == 0) || verbatim_flag) {
             ^
470.         // Verbatim mode
471.         int16_t *samples = data;

libavcodec/alacenc.c:471:9: 
469.     if((s->compression_level == 0) || verbatim_flag) {
470.         // Verbatim mode
471.         int16_t *samples = data;
             ^
472.         write_frame_header(s, 1);
473.         for(i=0; i<avctx->frame_size*avctx->channels; i++) {

libavcodec/alacenc.c:472:9: 
470.         // Verbatim mode
471.         int16_t *samples = data;
472.         write_frame_header(s, 1);
             ^
473.         for(i=0; i<avctx->frame_size*avctx->channels; i++) {
474.             put_sbits(pb, 16, *samples++);

libavcodec/alacenc.c:119:1: start of procedure write_frame_header()
  117. }
  118. 
  119. static void write_frame_header(AlacEncodeContext *s, int is_verbatim)
       ^
  120. {
  121.     put_bits(&s->pbctx, 3,  s->avctx->channels-1);          // No. of channels -1

libavcodec/alacenc.c:121:5: 
  119. static void write_frame_header(AlacEncodeContext *s, int is_verbatim)
  120. {
  121.     put_bits(&s->pbctx, 3,  s->avctx->channels-1);          // No. of channels -1
           ^
  122.     put_bits(&s->pbctx, 16, 0);                             // Seems to be zero
  123.     put_bits(&s->pbctx, 1,  1);                             // Sample count is in the header

libavcodec/put_bits.h:139:1: start of procedure put_bits()
    137. void ff_copy_bits(PutBitContext *pb, const uint8_t *src, int length);
    138. 
    139. static inline void put_bits(PutBitContext *s, int n, unsigned int value)
         ^
    140. #ifndef ALT_BITSTREAM_WRITER
    141. {

libavcodec/put_bits.h:146:5: 
    144. 
    145.     //    printf("put_bits=%d %x\n", n, value);
    146.     assert(n == 32 || value < (1U << n));
             ^
    147. 
    148.     bit_buf = s->bit_buf;

libavcodec/put_bits.h:148:5: 
    146.     assert(n == 32 || value < (1U << n));
    147. 
    148.     bit_buf = s->bit_buf;
             ^
    149.     bit_left = s->bit_left;
    150. 

libavcodec/put_bits.h:149:5: 
    147. 
    148.     bit_buf = s->bit_buf;
    149.     bit_left = s->bit_left;
             ^
    150. 
    151.     //    printf("n=%d value=%x cnt=%d buf=%x\n", n, value, bit_cnt, bit_buf);

libavcodec/put_bits.h:168:9: Taking false branch
    166.     bit_left-=n;
    167. #else
    168.     if (n < bit_left) {
                 ^
    169.         bit_buf = (bit_buf<<n) | value;
    170.         bit_left-=n;

libavcodec/put_bits.h:172:9: 
    170.         bit_left-=n;
    171.     } else {
    172.         bit_buf<<=bit_left;
                 ^
    173.         bit_buf |= value >> (n - bit_left);
    174. #if !HAVE_FAST_UNALIGNED

libavcodec/put_bits.h:173:9: 
    171.     } else {
    172.         bit_buf<<=bit_left;
    173.         bit_buf |= value >> (n - bit_left);
                 ^
    174. #if !HAVE_FAST_UNALIGNED
    175.         if (3 & (intptr_t) s->buf_ptr) {

libavcodec/put_bits.h:175:13: Taking false branch
    173.         bit_buf |= value >> (n - bit_left);
    174. #if !HAVE_FAST_UNALIGNED
    175.         if (3 & (intptr_t) s->buf_ptr) {
                     ^
    176.             AV_WB32(s->buf_ptr, bit_buf);
    177.         } else

libavcodec/put_bits.h:179:9: 
    177.         } else
    178. #endif
    179.         *(uint32_t *)s->buf_ptr = be2me_32(bit_buf);
                 ^
    180.         //printf("bitbuf = %08x\n", bit_buf);
    181.         s->buf_ptr+=4;

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/put_bits.h:181:9: 
    179.         *(uint32_t *)s->buf_ptr = be2me_32(bit_buf);
    180.         //printf("bitbuf = %08x\n", bit_buf);
    181.         s->buf_ptr+=4;
                 ^
    182.         bit_left+=32 - n;
    183.         bit_buf = value;

libavcodec/put_bits.h:182:9: 
    180.         //printf("bitbuf = %08x\n", bit_buf);
    181.         s->buf_ptr+=4;
    182.         bit_left+=32 - n;
                 ^
    183.         bit_buf = value;
    184.     }

libavcodec/put_bits.h:183:9: 
    181.         s->buf_ptr+=4;
    182.         bit_left+=32 - n;
    183.         bit_buf = value;
                 ^
    184.     }
    185. #endif

libavcodec/put_bits.h:187:5: 
    185. #endif
    186. 
    187.     s->bit_buf = bit_buf;
             ^
    188.     s->bit_left = bit_left;
    189. }

libavcodec/put_bits.h:188:5: 
    186. 
    187.     s->bit_buf = bit_buf;
    188.     s->bit_left = bit_left;
             ^
    189. }
    190. #else  /* ALT_BITSTREAM_WRITER defined */

libavcodec/put_bits.h:189:1: return from a call to put_bits
    187.     s->bit_buf = bit_buf;
    188.     s->bit_left = bit_left;
    189. }
         ^
    190. #else  /* ALT_BITSTREAM_WRITER defined */
    191. {

libavcodec/alacenc.c:122:5: 
  120. {
  121.     put_bits(&s->pbctx, 3,  s->avctx->channels-1);          // No. of channels -1
  122.     put_bits(&s->pbctx, 16, 0);                             // Seems to be zero
           ^
  123.     put_bits(&s->pbctx, 1,  1);                             // Sample count is in the header
  124.     put_bits(&s->pbctx, 2,  0);                             // FIXME: Wasted bytes field

libavcodec/put_bits.h:139:1: start of procedure put_bits()
    137. void ff_copy_bits(PutBitContext *pb, const uint8_t *src, int length);
    138. 
    139. static inline void put_bits(PutBitContext *s, int n, unsigned int value)
         ^
    140. #ifndef ALT_BITSTREAM_WRITER
    141. {

libavcodec/put_bits.h:146:5: 
    144. 
    145.     //    printf("put_bits=%d %x\n", n, value);
    146.     assert(n == 32 || value < (1U << n));
             ^
    147. 
    148.     bit_buf = s->bit_buf;

libavcodec/put_bits.h:148:5: 
    146.     assert(n == 32 || value < (1U << n));
    147. 
    148.     bit_buf = s->bit_buf;
             ^
    149.     bit_left = s->bit_left;
    150. 

libavcodec/put_bits.h:149:5: 
    147. 
    148.     bit_buf = s->bit_buf;
    149.     bit_left = s->bit_left;
             ^
    150. 
    151.     //    printf("n=%d value=%x cnt=%d buf=%x\n", n, value, bit_cnt, bit_buf);

libavcodec/put_bits.h:168:9: Taking true branch
    166.     bit_left-=n;
    167. #else
    168.     if (n < bit_left) {
                 ^
    169.         bit_buf = (bit_buf<<n) | value;
    170.         bit_left-=n;

libavcodec/put_bits.h:169:9: 
    167. #else
    168.     if (n < bit_left) {
    169.         bit_buf = (bit_buf<<n) | value;
                 ^
    170.         bit_left-=n;
    171.     } else {

libavcodec/put_bits.h:170:9: 
    168.     if (n < bit_left) {
    169.         bit_buf = (bit_buf<<n) | value;
    170.         bit_left-=n;
                 ^
    171.     } else {
    172.         bit_buf<<=bit_left;

libavcodec/put_bits.h:187:5: 
    185. #endif
    186. 
    187.     s->bit_buf = bit_buf;
             ^
    188.     s->bit_left = bit_left;
    189. }

libavcodec/put_bits.h:188:5: 
    186. 
    187.     s->bit_buf = bit_buf;
    188.     s->bit_left = bit_left;
             ^
    189. }
    190. #else  /* ALT_BITSTREAM_WRITER defined */

libavcodec/put_bits.h:189:1: return from a call to put_bits
    187.     s->bit_buf = bit_buf;
    188.     s->bit_left = bit_left;
    189. }
         ^
    190. #else  /* ALT_BITSTREAM_WRITER defined */
    191. {

libavcodec/alacenc.c:123:5: 
  121.     put_bits(&s->pbctx, 3,  s->avctx->channels-1);          // No. of channels -1
  122.     put_bits(&s->pbctx, 16, 0);                             // Seems to be zero
  123.     put_bits(&s->pbctx, 1,  1);                             // Sample count is in the header
           ^
  124.     put_bits(&s->pbctx, 2,  0);                             // FIXME: Wasted bytes field
  125.     put_bits(&s->pbctx, 1,  is_verbatim);                   // Audio block is verbatim

libavcodec/put_bits.h:139:1: start of procedure put_bits()
    137. void ff_copy_bits(PutBitContext *pb, const uint8_t *src, int length);
    138. 
    139. static inline void put_bits(PutBitContext *s, int n, unsigned int value)
         ^
    140. #ifndef ALT_BITSTREAM_WRITER
    141. {

libavcodec/put_bits.h:146:5: 
    144. 
    145.     //    printf("put_bits=%d %x\n", n, value);
    146.     assert(n == 32 || value < (1U << n));
             ^
    147. 
    148.     bit_buf = s->bit_buf;

libavcodec/put_bits.h:148:5: 
    146.     assert(n == 32 || value < (1U << n));
    147. 
    148.     bit_buf = s->bit_buf;
             ^
    149.     bit_left = s->bit_left;
    150. 

libavcodec/put_bits.h:149:5: 
    147. 
    148.     bit_buf = s->bit_buf;
    149.     bit_left = s->bit_left;
             ^
    150. 
    151.     //    printf("n=%d value=%x cnt=%d buf=%x\n", n, value, bit_cnt, bit_buf);

libavcodec/put_bits.h:168:9: Taking true branch
    166.     bit_left-=n;
    167. #else
    168.     if (n < bit_left) {
                 ^
    169.         bit_buf = (bit_buf<<n) | value;
    170.         bit_left-=n;

libavcodec/put_bits.h:169:9: 
    167. #else
    168.     if (n < bit_left) {
    169.         bit_buf = (bit_buf<<n) | value;
                 ^
    170.         bit_left-=n;
    171.     } else {

libavcodec/put_bits.h:170:9: 
    168.     if (n < bit_left) {
    169.         bit_buf = (bit_buf<<n) | value;
    170.         bit_left-=n;
                 ^
    171.     } else {
    172.         bit_buf<<=bit_left;

libavcodec/put_bits.h:187:5: 
    185. #endif
    186. 
    187.     s->bit_buf = bit_buf;
             ^
    188.     s->bit_left = bit_left;
    189. }

libavcodec/put_bits.h:188:5: 
    186. 
    187.     s->bit_buf = bit_buf;
    188.     s->bit_left = bit_left;
             ^
    189. }
    190. #else  /* ALT_BITSTREAM_WRITER defined */

libavcodec/put_bits.h:189:1: return from a call to put_bits
    187.     s->bit_buf = bit_buf;
    188.     s->bit_left = bit_left;
    189. }
         ^
    190. #else  /* ALT_BITSTREAM_WRITER defined */
    191. {

libavcodec/alacenc.c:124:5: 
  122.     put_bits(&s->pbctx, 16, 0);                             // Seems to be zero
  123.     put_bits(&s->pbctx, 1,  1);                             // Sample count is in the header
  124.     put_bits(&s->pbctx, 2,  0);                             // FIXME: Wasted bytes field
           ^
  125.     put_bits(&s->pbctx, 1,  is_verbatim);                   // Audio block is verbatim
  126.     put_bits(&s->pbctx, 32, s->avctx->frame_size);          // No. of samples in the frame

libavcodec/put_bits.h:139:1: start of procedure put_bits()
    137. void ff_copy_bits(PutBitContext *pb, const uint8_t *src, int length);
    138. 
    139. static inline void put_bits(PutBitContext *s, int n, unsigned int value)
         ^
    140. #ifndef ALT_BITSTREAM_WRITER
    141. {

libavcodec/put_bits.h:146:5: 
    144. 
    145.     //    printf("put_bits=%d %x\n", n, value);
    146.     assert(n == 32 || value < (1U << n));
             ^
    147. 
    148.     bit_buf = s->bit_buf;

libavcodec/put_bits.h:148:5: 
    146.     assert(n == 32 || value < (1U << n));
    147. 
    148.     bit_buf = s->bit_buf;
             ^
    149.     bit_left = s->bit_left;
    150. 

libavcodec/put_bits.h:149:5: 
    147. 
    148.     bit_buf = s->bit_buf;
    149.     bit_left = s->bit_left;
             ^
    150. 
    151.     //    printf("n=%d value=%x cnt=%d buf=%x\n", n, value, bit_cnt, bit_buf);

libavcodec/put_bits.h:168:9: Taking true branch
    166.     bit_left-=n;
    167. #else
    168.     if (n < bit_left) {
                 ^
    169.         bit_buf = (bit_buf<<n) | value;
    170.         bit_left-=n;

libavcodec/put_bits.h:169:9: 
    167. #else
    168.     if (n < bit_left) {
    169.         bit_buf = (bit_buf<<n) | value;
                 ^
    170.         bit_left-=n;
    171.     } else {

libavcodec/put_bits.h:170:9: 
    168.     if (n < bit_left) {
    169.         bit_buf = (bit_buf<<n) | value;
    170.         bit_left-=n;
                 ^
    171.     } else {
    172.         bit_buf<<=bit_left;

libavcodec/put_bits.h:187:5: 
    185. #endif
    186. 
    187.     s->bit_buf = bit_buf;
             ^
    188.     s->bit_left = bit_left;
    189. }

libavcodec/put_bits.h:188:5: 
    186. 
    187.     s->bit_buf = bit_buf;
    188.     s->bit_left = bit_left;
             ^
    189. }
    190. #else  /* ALT_BITSTREAM_WRITER defined */

libavcodec/put_bits.h:189:1: return from a call to put_bits
    187.     s->bit_buf = bit_buf;
    188.     s->bit_left = bit_left;
    189. }
         ^
    190. #else  /* ALT_BITSTREAM_WRITER defined */
    191. {

libavcodec/alacenc.c:125:5: 
  123.     put_bits(&s->pbctx, 1,  1);                             // Sample count is in the header
  124.     put_bits(&s->pbctx, 2,  0);                             // FIXME: Wasted bytes field
  125.     put_bits(&s->pbctx, 1,  is_verbatim);                   // Audio block is verbatim
           ^
  126.     put_bits(&s->pbctx, 32, s->avctx->frame_size);          // No. of samples in the frame
  127. }

libavcodec/put_bits.h:139:1: start of procedure put_bits()
    137. void ff_copy_bits(PutBitContext *pb, const uint8_t *src, int length);
    138. 
    139. static inline void put_bits(PutBitContext *s, int n, unsigned int value)
         ^
    140. #ifndef ALT_BITSTREAM_WRITER
    141. {

libavcodec/put_bits.h:146:5: 
    144. 
    145.     //    printf("put_bits=%d %x\n", n, value);
    146.     assert(n == 32 || value < (1U << n));
             ^
    147. 
    148.     bit_buf = s->bit_buf;

libavcodec/put_bits.h:148:5: 
    146.     assert(n == 32 || value < (1U << n));
    147. 
    148.     bit_buf = s->bit_buf;
             ^
    149.     bit_left = s->bit_left;
    150. 

libavcodec/put_bits.h:149:5: 
    147. 
    148.     bit_buf = s->bit_buf;
    149.     bit_left = s->bit_left;
             ^
    150. 
    151.     //    printf("n=%d value=%x cnt=%d buf=%x\n", n, value, bit_cnt, bit_buf);

libavcodec/put_bits.h:168:9: Taking true branch
    166.     bit_left-=n;
    167. #else
    168.     if (n < bit_left) {
                 ^
    169.         bit_buf = (bit_buf<<n) | value;
    170.         bit_left-=n;

libavcodec/put_bits.h:169:9: 
    167. #else
    168.     if (n < bit_left) {
    169.         bit_buf = (bit_buf<<n) | value;
                 ^
    170.         bit_left-=n;
    171.     } else {

libavcodec/put_bits.h:170:9: 
    168.     if (n < bit_left) {
    169.         bit_buf = (bit_buf<<n) | value;
    170.         bit_left-=n;
                 ^
    171.     } else {
    172.         bit_buf<<=bit_left;

libavcodec/put_bits.h:187:5: 
    185. #endif
    186. 
    187.     s->bit_buf = bit_buf;
             ^
    188.     s->bit_left = bit_left;
    189. }

libavcodec/put_bits.h:188:5: 
    186. 
    187.     s->bit_buf = bit_buf;
    188.     s->bit_left = bit_left;
             ^
    189. }
    190. #else  /* ALT_BITSTREAM_WRITER defined */

libavcodec/put_bits.h:189:1: return from a call to put_bits
    187.     s->bit_buf = bit_buf;
    188.     s->bit_left = bit_left;
    189. }
         ^
    190. #else  /* ALT_BITSTREAM_WRITER defined */
    191. {

libavcodec/alacenc.c:126:5: 
  124.     put_bits(&s->pbctx, 2,  0);                             // FIXME: Wasted bytes field
  125.     put_bits(&s->pbctx, 1,  is_verbatim);                   // Audio block is verbatim
  126.     put_bits(&s->pbctx, 32, s->avctx->frame_size);          // No. of samples in the frame
           ^
  127. }
  128. 

libavcodec/put_bits.h:139:1: start of procedure put_bits()
    137. void ff_copy_bits(PutBitContext *pb, const uint8_t *src, int length);
    138. 
    139. static inline void put_bits(PutBitContext *s, int n, unsigned int value)
         ^
    140. #ifndef ALT_BITSTREAM_WRITER
    141. {

libavcodec/put_bits.h:146:5: 
    144. 
    145.     //    printf("put_bits=%d %x\n", n, value);
    146.     assert(n == 32 || value < (1U << n));
             ^
    147. 
    148.     bit_buf = s->bit_buf;

libavcodec/put_bits.h:148:5: 
    146.     assert(n == 32 || value < (1U << n));
    147. 
    148.     bit_buf = s->bit_buf;
             ^
    149.     bit_left = s->bit_left;
    150. 

libavcodec/put_bits.h:149:5: 
    147. 
    148.     bit_buf = s->bit_buf;
    149.     bit_left = s->bit_left;
             ^
    150. 
    151.     //    printf("n=%d value=%x cnt=%d buf=%x\n", n, value, bit_cnt, bit_buf);

libavcodec/put_bits.h:168:9: Taking true branch
    166.     bit_left-=n;
    167. #else
    168.     if (n < bit_left) {
                 ^
    169.         bit_buf = (bit_buf<<n) | value;
    170.         bit_left-=n;

libavcodec/put_bits.h:169:9: 
    167. #else
    168.     if (n < bit_left) {
    169.         bit_buf = (bit_buf<<n) | value;
                 ^
    170.         bit_left-=n;
    171.     } else {

libavcodec/put_bits.h:170:9: 
    168.     if (n < bit_left) {
    169.         bit_buf = (bit_buf<<n) | value;
    170.         bit_left-=n;
                 ^
    171.     } else {
    172.         bit_buf<<=bit_left;

libavcodec/put_bits.h:187:5: 
    185. #endif
    186. 
    187.     s->bit_buf = bit_buf;
             ^
    188.     s->bit_left = bit_left;
    189. }

libavcodec/put_bits.h:188:5: 
    186. 
    187.     s->bit_buf = bit_buf;
    188.     s->bit_left = bit_left;
             ^
    189. }
    190. #else  /* ALT_BITSTREAM_WRITER defined */

libavcodec/put_bits.h:189:1: return from a call to put_bits
    187.     s->bit_buf = bit_buf;
    188.     s->bit_left = bit_left;
    189. }
         ^
    190. #else  /* ALT_BITSTREAM_WRITER defined */
    191. {

libavcodec/alacenc.c:127:1: return from a call to write_frame_header
  125.     put_bits(&s->pbctx, 1,  is_verbatim);                   // Audio block is verbatim
  126.     put_bits(&s->pbctx, 32, s->avctx->frame_size);          // No. of samples in the frame
  127. }
       ^
  128. 
  129. static void calc_predictor_params(AlacEncodeContext *s, int ch)

static int alac_encode_frame(AVCodecContext *avctx, uint8_t *frame,
                             int buf_size, void *data)
{
    AlacEncodeContext *s = avctx->priv_data;
    PutBitContext *pb = &s->pbctx;
    int i, out_bytes, verbatim_flag = 0;
    if(avctx->frame_size > DEFAULT_FRAME_SIZE) {
        av_log(avctx, AV_LOG_ERROR, "input frame size exceeded\n");
        return -1;
    }
    if(buf_size < 2*s->max_coded_frame_size) {
        av_log(avctx, AV_LOG_ERROR, "buffer size is too small\n");
        return -1;
    }
verbatim:
    init_put_bits(pb, frame, buf_size);
    if((s->compression_level == 0) || verbatim_flag) {
        int16_t *samples = data;
        write_frame_header(s, 1);
        for(i=0; i<avctx->frame_size*avctx->channels; i++) {
            put_sbits(pb, 16, *samples++);
        }
    } else {
        init_sample_buffers(s, data);
        write_frame_header(s, 0);
        write_compressed_frame(s);
    }
    put_bits(pb, 3, 7);
    flush_put_bits(pb);
    out_bytes = put_bits_count(pb) >> 3;
    if(out_bytes > s->max_coded_frame_size) {
        if(verbatim_flag || (s->compression_level == 0)) {
            av_log(avctx, AV_LOG_ERROR, "error encoding frame\n");
            return -1;
        }
        verbatim_flag = 1;
        goto verbatim;
    }
    return out_bytes;
}
['static int alac_encode_frame(AVCodecContext *avctx, uint8_t *frame,\n                             int buf_size, void *data)\n{\n    AlacEncodeContext *s = avctx->priv_data;\n    PutBitContext *pb = &s->pbctx;\n    int i, out_bytes, verbatim_flag = 0;\n    if(avctx->frame_size > DEFAULT_FRAME_SIZE) {\n        av_log(avctx, AV_LOG_ERROR, "input frame size exceeded\\n");\n        return -1;\n    }\n    if(buf_size < 2*s->max_coded_frame_size) {\n        av_log(avctx, AV_LOG_ERROR, "buffer size is too small\\n");\n        return -1;\n    }\nverbatim:\n    init_put_bits(pb, frame, buf_size);\n    if((s->compression_level == 0) || verbatim_flag) {\n        int16_t *samples = data;\n        write_frame_header(s, 1);\n        for(i=0; i<avctx->frame_size*avctx->channels; i++) {\n            put_sbits(pb, 16, *samples++);\n        }\n    } else {\n        init_sample_buffers(s, data);\n        write_frame_header(s, 0);\n        write_compressed_frame(s);\n    }\n    put_bits(pb, 3, 7);\n    flush_put_bits(pb);\n    out_bytes = put_bits_count(pb) >> 3;\n    if(out_bytes > s->max_coded_frame_size) {\n        if(verbatim_flag || (s->compression_level == 0)) {\n            av_log(avctx, AV_LOG_ERROR, "error encoding frame\\n");\n            return -1;\n        }\n        verbatim_flag = 1;\n        goto verbatim;\n    }\n    return out_bytes;\n}', 'static inline void init_put_bits(PutBitContext *s, uint8_t *buffer, int buffer_size)\n{\n    if(buffer_size < 0) {\n        buffer_size = 0;\n        buffer = NULL;\n    }\n    s->size_in_bits= 8*buffer_size;\n    s->buf = buffer;\n    s->buf_end = s->buf + buffer_size;\n#ifdef ALT_BITSTREAM_WRITER\n    s->index=0;\n    ((uint32_t*)(s->buf))[0]=0;\n#else\n    s->buf_ptr = s->buf;\n    s->bit_left=32;\n    s->bit_buf=0;\n#endif\n}', 'static void write_frame_header(AlacEncodeContext *s, int is_verbatim)\n{\n    put_bits(&s->pbctx, 3,  s->avctx->channels-1);\n    put_bits(&s->pbctx, 16, 0);\n    put_bits(&s->pbctx, 1,  1);\n    put_bits(&s->pbctx, 2,  0);\n    put_bits(&s->pbctx, 1,  is_verbatim);\n    put_bits(&s->pbctx, 32, s->avctx->frame_size);\n}', 'static inline void put_bits(PutBitContext *s, int n, unsigned int value)\n#ifndef ALT_BITSTREAM_WRITER\n{\n    unsigned int bit_buf;\n    int bit_left;\n    assert(n == 32 || value < (1U << n));\n    bit_buf = s->bit_buf;\n    bit_left = s->bit_left;\n#ifdef BITSTREAM_WRITER_LE\n    bit_buf |= value << (32 - bit_left);\n    if (n >= bit_left) {\n#if !HAVE_FAST_UNALIGNED\n        if (3 & (intptr_t) s->buf_ptr) {\n            AV_WL32(s->buf_ptr, bit_buf);\n        } else\n#endif\n        *(uint32_t *)s->buf_ptr = le2me_32(bit_buf);\n        s->buf_ptr+=4;\n        bit_buf = (bit_left==32)?0:value >> bit_left;\n        bit_left+=32;\n    }\n    bit_left-=n;\n#else\n    if (n < bit_left) {\n        bit_buf = (bit_buf<<n) | value;\n        bit_left-=n;\n    } else {\n        bit_buf<<=bit_left;\n        bit_buf |= value >> (n - bit_left);\n#if !HAVE_FAST_UNALIGNED\n        if (3 & (intptr_t) s->buf_ptr) {\n            AV_WB32(s->buf_ptr, bit_buf);\n        } else\n#endif\n        *(uint32_t *)s->buf_ptr = be2me_32(bit_buf);\n        s->buf_ptr+=4;\n        bit_left+=32 - n;\n        bit_buf = value;\n    }\n#endif\n    s->bit_buf = bit_buf;\n    s->bit_left = bit_left;\n}', 'static av_always_inline av_const uint32_t bswap_32(uint32_t x)\n{\n    x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);\n    x= (x>>16) | (x<<16);\n    return x;\n}']