libavcodec/wmv2enc.c:48: error: Null Dereference
  pointer `&pb->buf_ptr` last assigned on line 35 could be null and is dereferenced by call to `flush_put_bits()` at line 48, column 5.

libavcodec/wmv2enc.c:30:1: start of procedure encode_ext_header()
28. 
29. 
30. static int encode_ext_header(Wmv2Context *w){
    ^
31.     MpegEncContext * const s= &w->s;
32.     PutBitContext pb;

libavcodec/wmv2enc.c:31:5: 
29. 
30. static int encode_ext_header(Wmv2Context *w){
31.     MpegEncContext * const s= &w->s;
        ^
32.     PutBitContext pb;
33.     int code;

libavcodec/wmv2enc.c:35:5: 
33.     int code;
34. 
35.     init_put_bits(&pb, s->avctx->extradata, s->avctx->extradata_size);
        ^
36. 
37.     put_bits(&pb, 5, s->avctx->time_base.den / s->avctx->time_base.num); //yes 29.97 -> 29

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/wmv2enc.c:37:5: 
35.     init_put_bits(&pb, s->avctx->extradata, s->avctx->extradata_size);
36. 
37.     put_bits(&pb, 5, s->avctx->time_base.den / s->avctx->time_base.num); //yes 29.97 -> 29
        ^
38.     put_bits(&pb, 11, FFMIN(s->bit_rate/1024, 2047));
39. 

libavcodec/put_bits.h:149:1: start of procedure put_bits()
  147.  * Use put_bits32 to write 32 bits.
  148.  */
  149. static inline void put_bits(PutBitContext *s, int n, unsigned int value)
       ^
  150. #ifndef ALT_BITSTREAM_WRITER
  151. {

libavcodec/put_bits.h:156:5: 
  154. 
  155.     //    printf("put_bits=%d %x\n", n, value);
  156.     assert(n <= 31 && value < (1U << n));
           ^
  157. 
  158.     bit_buf = s->bit_buf;

libavcodec/put_bits.h:158:5: 
  156.     assert(n <= 31 && value < (1U << n));
  157. 
  158.     bit_buf = s->bit_buf;
           ^
  159.     bit_left = s->bit_left;
  160. 

libavcodec/put_bits.h:159:5: 
  157. 
  158.     bit_buf = s->bit_buf;
  159.     bit_left = s->bit_left;
           ^
  160. 
  161.     //    printf("n=%d value=%x cnt=%d buf=%x\n", n, value, bit_cnt, bit_buf);

libavcodec/put_bits.h:178:9: Taking true branch
  176.     bit_left-=n;
  177. #else
  178.     if (n < bit_left) {
               ^
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;

libavcodec/put_bits.h:179:9: 
  177. #else
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
               ^
  180.         bit_left-=n;
  181.     } else {

libavcodec/put_bits.h:180:9: 
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;
               ^
  181.     } else {
  182.         bit_buf<<=bit_left;

libavcodec/put_bits.h:197:5: 
  195. #endif
  196. 
  197.     s->bit_buf = bit_buf;
           ^
  198.     s->bit_left = bit_left;
  199. }

libavcodec/put_bits.h:198:5: 
  196. 
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
           ^
  199. }
  200. #else  /* ALT_BITSTREAM_WRITER defined */

libavcodec/put_bits.h:199:1: return from a call to put_bits
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
  199. }
       ^
  200. #else  /* ALT_BITSTREAM_WRITER defined */
  201. {

libavcodec/wmv2enc.c:38:23: Condition is true
36. 
37.     put_bits(&pb, 5, s->avctx->time_base.den / s->avctx->time_base.num); //yes 29.97 -> 29
38.     put_bits(&pb, 11, FFMIN(s->bit_rate/1024, 2047));
                          ^
39. 
40.     put_bits(&pb, 1, w->mspel_bit=1);

libavcodec/wmv2enc.c:38:5: 
36. 
37.     put_bits(&pb, 5, s->avctx->time_base.den / s->avctx->time_base.num); //yes 29.97 -> 29
38.     put_bits(&pb, 11, FFMIN(s->bit_rate/1024, 2047));
        ^
39. 
40.     put_bits(&pb, 1, w->mspel_bit=1);

libavcodec/put_bits.h:149:1: start of procedure put_bits()
  147.  * Use put_bits32 to write 32 bits.
  148.  */
  149. static inline void put_bits(PutBitContext *s, int n, unsigned int value)
       ^
  150. #ifndef ALT_BITSTREAM_WRITER
  151. {

libavcodec/put_bits.h:156:5: 
  154. 
  155.     //    printf("put_bits=%d %x\n", n, value);
  156.     assert(n <= 31 && value < (1U << n));
           ^
  157. 
  158.     bit_buf = s->bit_buf;

libavcodec/put_bits.h:158:5: 
  156.     assert(n <= 31 && value < (1U << n));
  157. 
  158.     bit_buf = s->bit_buf;
           ^
  159.     bit_left = s->bit_left;
  160. 

libavcodec/put_bits.h:159:5: 
  157. 
  158.     bit_buf = s->bit_buf;
  159.     bit_left = s->bit_left;
           ^
  160. 
  161.     //    printf("n=%d value=%x cnt=%d buf=%x\n", n, value, bit_cnt, bit_buf);

libavcodec/put_bits.h:178:9: Taking true branch
  176.     bit_left-=n;
  177. #else
  178.     if (n < bit_left) {
               ^
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;

libavcodec/put_bits.h:179:9: 
  177. #else
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
               ^
  180.         bit_left-=n;
  181.     } else {

libavcodec/put_bits.h:180:9: 
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;
               ^
  181.     } else {
  182.         bit_buf<<=bit_left;

libavcodec/put_bits.h:197:5: 
  195. #endif
  196. 
  197.     s->bit_buf = bit_buf;
           ^
  198.     s->bit_left = bit_left;
  199. }

libavcodec/put_bits.h:198:5: 
  196. 
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
           ^
  199. }
  200. #else  /* ALT_BITSTREAM_WRITER defined */

libavcodec/put_bits.h:199:1: return from a call to put_bits
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
  199. }
       ^
  200. #else  /* ALT_BITSTREAM_WRITER defined */
  201. {

libavcodec/wmv2enc.c:40:5: 
38.     put_bits(&pb, 11, FFMIN(s->bit_rate/1024, 2047));
39. 
40.     put_bits(&pb, 1, w->mspel_bit=1);
        ^
41.     put_bits(&pb, 1, s->loop_filter);
42.     put_bits(&pb, 1, w->abt_flag=1);

libavcodec/put_bits.h:149:1: start of procedure put_bits()
  147.  * Use put_bits32 to write 32 bits.
  148.  */
  149. static inline void put_bits(PutBitContext *s, int n, unsigned int value)
       ^
  150. #ifndef ALT_BITSTREAM_WRITER
  151. {

libavcodec/put_bits.h:156:5: 
  154. 
  155.     //    printf("put_bits=%d %x\n", n, value);
  156.     assert(n <= 31 && value < (1U << n));
           ^
  157. 
  158.     bit_buf = s->bit_buf;

libavcodec/put_bits.h:158:5: 
  156.     assert(n <= 31 && value < (1U << n));
  157. 
  158.     bit_buf = s->bit_buf;
           ^
  159.     bit_left = s->bit_left;
  160. 

libavcodec/put_bits.h:159:5: 
  157. 
  158.     bit_buf = s->bit_buf;
  159.     bit_left = s->bit_left;
           ^
  160. 
  161.     //    printf("n=%d value=%x cnt=%d buf=%x\n", n, value, bit_cnt, bit_buf);

libavcodec/put_bits.h:178:9: Taking true branch
  176.     bit_left-=n;
  177. #else
  178.     if (n < bit_left) {
               ^
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;

libavcodec/put_bits.h:179:9: 
  177. #else
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
               ^
  180.         bit_left-=n;
  181.     } else {

libavcodec/put_bits.h:180:9: 
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;
               ^
  181.     } else {
  182.         bit_buf<<=bit_left;

libavcodec/put_bits.h:197:5: 
  195. #endif
  196. 
  197.     s->bit_buf = bit_buf;
           ^
  198.     s->bit_left = bit_left;
  199. }

libavcodec/put_bits.h:198:5: 
  196. 
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
           ^
  199. }
  200. #else  /* ALT_BITSTREAM_WRITER defined */

libavcodec/put_bits.h:199:1: return from a call to put_bits
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
  199. }
       ^
  200. #else  /* ALT_BITSTREAM_WRITER defined */
  201. {

libavcodec/wmv2enc.c:41:5: 
39. 
40.     put_bits(&pb, 1, w->mspel_bit=1);
41.     put_bits(&pb, 1, s->loop_filter);
        ^
42.     put_bits(&pb, 1, w->abt_flag=1);
43.     put_bits(&pb, 1, w->j_type_bit=1);

libavcodec/put_bits.h:149:1: start of procedure put_bits()
  147.  * Use put_bits32 to write 32 bits.
  148.  */
  149. static inline void put_bits(PutBitContext *s, int n, unsigned int value)
       ^
  150. #ifndef ALT_BITSTREAM_WRITER
  151. {

libavcodec/put_bits.h:156:5: 
  154. 
  155.     //    printf("put_bits=%d %x\n", n, value);
  156.     assert(n <= 31 && value < (1U << n));
           ^
  157. 
  158.     bit_buf = s->bit_buf;

libavcodec/put_bits.h:158:5: 
  156.     assert(n <= 31 && value < (1U << n));
  157. 
  158.     bit_buf = s->bit_buf;
           ^
  159.     bit_left = s->bit_left;
  160. 

libavcodec/put_bits.h:159:5: 
  157. 
  158.     bit_buf = s->bit_buf;
  159.     bit_left = s->bit_left;
           ^
  160. 
  161.     //    printf("n=%d value=%x cnt=%d buf=%x\n", n, value, bit_cnt, bit_buf);

libavcodec/put_bits.h:178:9: Taking true branch
  176.     bit_left-=n;
  177. #else
  178.     if (n < bit_left) {
               ^
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;

libavcodec/put_bits.h:179:9: 
  177. #else
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
               ^
  180.         bit_left-=n;
  181.     } else {

libavcodec/put_bits.h:180:9: 
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;
               ^
  181.     } else {
  182.         bit_buf<<=bit_left;

libavcodec/put_bits.h:197:5: 
  195. #endif
  196. 
  197.     s->bit_buf = bit_buf;
           ^
  198.     s->bit_left = bit_left;
  199. }

libavcodec/put_bits.h:198:5: 
  196. 
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
           ^
  199. }
  200. #else  /* ALT_BITSTREAM_WRITER defined */

libavcodec/put_bits.h:199:1: return from a call to put_bits
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
  199. }
       ^
  200. #else  /* ALT_BITSTREAM_WRITER defined */
  201. {

libavcodec/wmv2enc.c:42:5: 
40.     put_bits(&pb, 1, w->mspel_bit=1);
41.     put_bits(&pb, 1, s->loop_filter);
42.     put_bits(&pb, 1, w->abt_flag=1);
        ^
43.     put_bits(&pb, 1, w->j_type_bit=1);
44.     put_bits(&pb, 1, w->top_left_mv_flag=0);

libavcodec/put_bits.h:149:1: start of procedure put_bits()
  147.  * Use put_bits32 to write 32 bits.
  148.  */
  149. static inline void put_bits(PutBitContext *s, int n, unsigned int value)
       ^
  150. #ifndef ALT_BITSTREAM_WRITER
  151. {

libavcodec/put_bits.h:156:5: 
  154. 
  155.     //    printf("put_bits=%d %x\n", n, value);
  156.     assert(n <= 31 && value < (1U << n));
           ^
  157. 
  158.     bit_buf = s->bit_buf;

libavcodec/put_bits.h:158:5: 
  156.     assert(n <= 31 && value < (1U << n));
  157. 
  158.     bit_buf = s->bit_buf;
           ^
  159.     bit_left = s->bit_left;
  160. 

libavcodec/put_bits.h:159:5: 
  157. 
  158.     bit_buf = s->bit_buf;
  159.     bit_left = s->bit_left;
           ^
  160. 
  161.     //    printf("n=%d value=%x cnt=%d buf=%x\n", n, value, bit_cnt, bit_buf);

libavcodec/put_bits.h:178:9: Taking true branch
  176.     bit_left-=n;
  177. #else
  178.     if (n < bit_left) {
               ^
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;

libavcodec/put_bits.h:179:9: 
  177. #else
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
               ^
  180.         bit_left-=n;
  181.     } else {

libavcodec/put_bits.h:180:9: 
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;
               ^
  181.     } else {
  182.         bit_buf<<=bit_left;

libavcodec/put_bits.h:197:5: 
  195. #endif
  196. 
  197.     s->bit_buf = bit_buf;
           ^
  198.     s->bit_left = bit_left;
  199. }

libavcodec/put_bits.h:198:5: 
  196. 
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
           ^
  199. }
  200. #else  /* ALT_BITSTREAM_WRITER defined */

libavcodec/put_bits.h:199:1: return from a call to put_bits
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
  199. }
       ^
  200. #else  /* ALT_BITSTREAM_WRITER defined */
  201. {

libavcodec/wmv2enc.c:43:5: 
41.     put_bits(&pb, 1, s->loop_filter);
42.     put_bits(&pb, 1, w->abt_flag=1);
43.     put_bits(&pb, 1, w->j_type_bit=1);
        ^
44.     put_bits(&pb, 1, w->top_left_mv_flag=0);
45.     put_bits(&pb, 1, w->per_mb_rl_bit=1);

libavcodec/put_bits.h:149:1: start of procedure put_bits()
  147.  * Use put_bits32 to write 32 bits.
  148.  */
  149. static inline void put_bits(PutBitContext *s, int n, unsigned int value)
       ^
  150. #ifndef ALT_BITSTREAM_WRITER
  151. {

libavcodec/put_bits.h:156:5: 
  154. 
  155.     //    printf("put_bits=%d %x\n", n, value);
  156.     assert(n <= 31 && value < (1U << n));
           ^
  157. 
  158.     bit_buf = s->bit_buf;

libavcodec/put_bits.h:158:5: 
  156.     assert(n <= 31 && value < (1U << n));
  157. 
  158.     bit_buf = s->bit_buf;
           ^
  159.     bit_left = s->bit_left;
  160. 

libavcodec/put_bits.h:159:5: 
  157. 
  158.     bit_buf = s->bit_buf;
  159.     bit_left = s->bit_left;
           ^
  160. 
  161.     //    printf("n=%d value=%x cnt=%d buf=%x\n", n, value, bit_cnt, bit_buf);

libavcodec/put_bits.h:178:9: Taking true branch
  176.     bit_left-=n;
  177. #else
  178.     if (n < bit_left) {
               ^
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;

libavcodec/put_bits.h:179:9: 
  177. #else
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
               ^
  180.         bit_left-=n;
  181.     } else {

libavcodec/put_bits.h:180:9: 
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;
               ^
  181.     } else {
  182.         bit_buf<<=bit_left;

libavcodec/put_bits.h:197:5: 
  195. #endif
  196. 
  197.     s->bit_buf = bit_buf;
           ^
  198.     s->bit_left = bit_left;
  199. }

libavcodec/put_bits.h:198:5: 
  196. 
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
           ^
  199. }
  200. #else  /* ALT_BITSTREAM_WRITER defined */

libavcodec/put_bits.h:199:1: return from a call to put_bits
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
  199. }
       ^
  200. #else  /* ALT_BITSTREAM_WRITER defined */
  201. {

libavcodec/wmv2enc.c:44:5: 
42.     put_bits(&pb, 1, w->abt_flag=1);
43.     put_bits(&pb, 1, w->j_type_bit=1);
44.     put_bits(&pb, 1, w->top_left_mv_flag=0);
        ^
45.     put_bits(&pb, 1, w->per_mb_rl_bit=1);
46.     put_bits(&pb, 3, code=1);

libavcodec/put_bits.h:149:1: start of procedure put_bits()
  147.  * Use put_bits32 to write 32 bits.
  148.  */
  149. static inline void put_bits(PutBitContext *s, int n, unsigned int value)
       ^
  150. #ifndef ALT_BITSTREAM_WRITER
  151. {

libavcodec/put_bits.h:156:5: 
  154. 
  155.     //    printf("put_bits=%d %x\n", n, value);
  156.     assert(n <= 31 && value < (1U << n));
           ^
  157. 
  158.     bit_buf = s->bit_buf;

libavcodec/put_bits.h:158:5: 
  156.     assert(n <= 31 && value < (1U << n));
  157. 
  158.     bit_buf = s->bit_buf;
           ^
  159.     bit_left = s->bit_left;
  160. 

libavcodec/put_bits.h:159:5: 
  157. 
  158.     bit_buf = s->bit_buf;
  159.     bit_left = s->bit_left;
           ^
  160. 
  161.     //    printf("n=%d value=%x cnt=%d buf=%x\n", n, value, bit_cnt, bit_buf);

libavcodec/put_bits.h:178:9: Taking true branch
  176.     bit_left-=n;
  177. #else
  178.     if (n < bit_left) {
               ^
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;

libavcodec/put_bits.h:179:9: 
  177. #else
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
               ^
  180.         bit_left-=n;
  181.     } else {

libavcodec/put_bits.h:180:9: 
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;
               ^
  181.     } else {
  182.         bit_buf<<=bit_left;

libavcodec/put_bits.h:197:5: 
  195. #endif
  196. 
  197.     s->bit_buf = bit_buf;
           ^
  198.     s->bit_left = bit_left;
  199. }

libavcodec/put_bits.h:198:5: 
  196. 
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
           ^
  199. }
  200. #else  /* ALT_BITSTREAM_WRITER defined */

libavcodec/put_bits.h:199:1: return from a call to put_bits
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
  199. }
       ^
  200. #else  /* ALT_BITSTREAM_WRITER defined */
  201. {

libavcodec/wmv2enc.c:45:5: 
43.     put_bits(&pb, 1, w->j_type_bit=1);
44.     put_bits(&pb, 1, w->top_left_mv_flag=0);
45.     put_bits(&pb, 1, w->per_mb_rl_bit=1);
        ^
46.     put_bits(&pb, 3, code=1);
47. 

libavcodec/put_bits.h:149:1: start of procedure put_bits()
  147.  * Use put_bits32 to write 32 bits.
  148.  */
  149. static inline void put_bits(PutBitContext *s, int n, unsigned int value)
       ^
  150. #ifndef ALT_BITSTREAM_WRITER
  151. {

libavcodec/put_bits.h:156:5: 
  154. 
  155.     //    printf("put_bits=%d %x\n", n, value);
  156.     assert(n <= 31 && value < (1U << n));
           ^
  157. 
  158.     bit_buf = s->bit_buf;

libavcodec/put_bits.h:158:5: 
  156.     assert(n <= 31 && value < (1U << n));
  157. 
  158.     bit_buf = s->bit_buf;
           ^
  159.     bit_left = s->bit_left;
  160. 

libavcodec/put_bits.h:159:5: 
  157. 
  158.     bit_buf = s->bit_buf;
  159.     bit_left = s->bit_left;
           ^
  160. 
  161.     //    printf("n=%d value=%x cnt=%d buf=%x\n", n, value, bit_cnt, bit_buf);

libavcodec/put_bits.h:178:9: Taking true branch
  176.     bit_left-=n;
  177. #else
  178.     if (n < bit_left) {
               ^
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;

libavcodec/put_bits.h:179:9: 
  177. #else
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
               ^
  180.         bit_left-=n;
  181.     } else {

libavcodec/put_bits.h:180:9: 
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;
               ^
  181.     } else {
  182.         bit_buf<<=bit_left;

libavcodec/put_bits.h:197:5: 
  195. #endif
  196. 
  197.     s->bit_buf = bit_buf;
           ^
  198.     s->bit_left = bit_left;
  199. }

libavcodec/put_bits.h:198:5: 
  196. 
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
           ^
  199. }
  200. #else  /* ALT_BITSTREAM_WRITER defined */

libavcodec/put_bits.h:199:1: return from a call to put_bits
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
  199. }
       ^
  200. #else  /* ALT_BITSTREAM_WRITER defined */
  201. {

libavcodec/wmv2enc.c:46:5: 
44.     put_bits(&pb, 1, w->top_left_mv_flag=0);
45.     put_bits(&pb, 1, w->per_mb_rl_bit=1);
46.     put_bits(&pb, 3, code=1);
        ^
47. 
48.     flush_put_bits(&pb);

libavcodec/put_bits.h:149:1: start of procedure put_bits()
  147.  * Use put_bits32 to write 32 bits.
  148.  */
  149. static inline void put_bits(PutBitContext *s, int n, unsigned int value)
       ^
  150. #ifndef ALT_BITSTREAM_WRITER
  151. {

libavcodec/put_bits.h:156:5: 
  154. 
  155.     //    printf("put_bits=%d %x\n", n, value);
  156.     assert(n <= 31 && value < (1U << n));
           ^
  157. 
  158.     bit_buf = s->bit_buf;

libavcodec/put_bits.h:158:5: 
  156.     assert(n <= 31 && value < (1U << n));
  157. 
  158.     bit_buf = s->bit_buf;
           ^
  159.     bit_left = s->bit_left;
  160. 

libavcodec/put_bits.h:159:5: 
  157. 
  158.     bit_buf = s->bit_buf;
  159.     bit_left = s->bit_left;
           ^
  160. 
  161.     //    printf("n=%d value=%x cnt=%d buf=%x\n", n, value, bit_cnt, bit_buf);

libavcodec/put_bits.h:178:9: Taking true branch
  176.     bit_left-=n;
  177. #else
  178.     if (n < bit_left) {
               ^
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;

libavcodec/put_bits.h:179:9: 
  177. #else
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
               ^
  180.         bit_left-=n;
  181.     } else {

libavcodec/put_bits.h:180:9: 
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;
               ^
  181.     } else {
  182.         bit_buf<<=bit_left;

libavcodec/put_bits.h:197:5: 
  195. #endif
  196. 
  197.     s->bit_buf = bit_buf;
           ^
  198.     s->bit_left = bit_left;
  199. }

libavcodec/put_bits.h:198:5: 
  196. 
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
           ^
  199. }
  200. #else  /* ALT_BITSTREAM_WRITER defined */

libavcodec/put_bits.h:199:1: return from a call to put_bits
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
  199. }
       ^
  200. #else  /* ALT_BITSTREAM_WRITER defined */
  201. {

libavcodec/wmv2enc.c:48:5: 
46.     put_bits(&pb, 3, code=1);
47. 
48.     flush_put_bits(&pb);
        ^
49. 
50.     s->slice_height = s->mb_height / code;

libavcodec/put_bits.h:96:1: start of procedure flush_put_bits()
  94.  * Pads the end of the output stream with zeros.
  95.  */
  96. static inline void flush_put_bits(PutBitContext *s)
      ^
  97. {
  98. #ifdef ALT_BITSTREAM_WRITER

libavcodec/put_bits.h:102:5: 
  100. #else
  101. #ifndef BITSTREAM_WRITER_LE
  102.     s->bit_buf<<= s->bit_left;
           ^
  103. #endif
  104.     while (s->bit_left < 32) {

libavcodec/put_bits.h:104:12: Loop condition is true. Entering loop body
  102.     s->bit_buf<<= s->bit_left;
  103. #endif
  104.     while (s->bit_left < 32) {
                  ^
  105.         /* XXX: should test end of buffer */
  106. #ifdef BITSTREAM_WRITER_LE

libavcodec/put_bits.h:110:9: 
  108.         s->bit_buf>>=8;
  109. #else
  110.         *s->buf_ptr++=s->bit_buf >> 24;
               ^
  111.         s->bit_buf<<=8;
  112. #endif

static int encode_ext_header(Wmv2Context *w){
    MpegEncContext * const s= &w->s;
    PutBitContext pb;
    int code;
    init_put_bits(&pb, s->avctx->extradata, s->avctx->extradata_size);
    put_bits(&pb, 5, s->avctx->time_base.den / s->avctx->time_base.num);
    put_bits(&pb, 11, FFMIN(s->bit_rate/1024, 2047));
    put_bits(&pb, 1, w->mspel_bit=1);
    put_bits(&pb, 1, s->loop_filter);
    put_bits(&pb, 1, w->abt_flag=1);
    put_bits(&pb, 1, w->j_type_bit=1);
    put_bits(&pb, 1, w->top_left_mv_flag=0);
    put_bits(&pb, 1, w->per_mb_rl_bit=1);
    put_bits(&pb, 3, code=1);
    flush_put_bits(&pb);
    s->slice_height = s->mb_height / code;
    return 0;
}
['static int encode_ext_header(Wmv2Context *w){\n    MpegEncContext * const s= &w->s;\n    PutBitContext pb;\n    int code;\n    init_put_bits(&pb, s->avctx->extradata, s->avctx->extradata_size);\n    put_bits(&pb, 5, s->avctx->time_base.den / s->avctx->time_base.num);\n    put_bits(&pb, 11, FFMIN(s->bit_rate/1024, 2047));\n    put_bits(&pb, 1, w->mspel_bit=1);\n    put_bits(&pb, 1, s->loop_filter);\n    put_bits(&pb, 1, w->abt_flag=1);\n    put_bits(&pb, 1, w->j_type_bit=1);\n    put_bits(&pb, 1, w->top_left_mv_flag=0);\n    put_bits(&pb, 1, w->per_mb_rl_bit=1);\n    put_bits(&pb, 3, code=1);\n    flush_put_bits(&pb);\n    s->slice_height = s->mb_height / code;\n    return 0;\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 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 <= 31 && 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 inline void flush_put_bits(PutBitContext *s)\n{\n#ifdef ALT_BITSTREAM_WRITER\n    align_put_bits(s);\n#else\n#ifndef BITSTREAM_WRITER_LE\n    s->bit_buf<<= s->bit_left;\n#endif\n    while (s->bit_left < 32) {\n#ifdef BITSTREAM_WRITER_LE\n        *s->buf_ptr++=s->bit_buf;\n        s->bit_buf>>=8;\n#else\n        *s->buf_ptr++=s->bit_buf >> 24;\n        s->bit_buf<<=8;\n#endif\n        s->bit_left+=8;\n    }\n    s->bit_left=32;\n    s->bit_buf=0;\n#endif\n}']