libavformat/nsvdec.c:353: error: Null Dereference
  pointer `nsv->nsvs_file_offset` last assigned on line 350 could be null and is dereferenced at line 353, column 13.

libavformat/nsvdec.c:271:1: start of procedure nsv_parse_NSVf_header()
269. }
270. 
271. static int nsv_parse_NSVf_header(AVFormatContext *s, AVFormatParameters *ap)
     ^
272. {
273.     NSVContext *nsv = s->priv_data;

libavformat/nsvdec.c:273:5: 
271. static int nsv_parse_NSVf_header(AVFormatContext *s, AVFormatParameters *ap)
272. {
273.     NSVContext *nsv = s->priv_data;
         ^
274.     AVIOContext *pb = s->pb;
275.     unsigned int av_unused file_size;

libavformat/nsvdec.c:274:5: 
272. {
273.     NSVContext *nsv = s->priv_data;
274.     AVIOContext *pb = s->pb;
         ^
275.     unsigned int av_unused file_size;
276.     unsigned int size;

libavformat/nsvdec.c:284:5: 
282.     av_dlog(s, "%s()\n", __FUNCTION__);
283. 
284.     nsv->state = NSV_UNSYNC; /* in case we fail */
         ^
285. 
286.     size = avio_rl32(pb);

libavformat/nsvdec.c:286:5: 
284.     nsv->state = NSV_UNSYNC; /* in case we fail */
285. 
286.     size = avio_rl32(pb);
         ^
287.     if (size < 28)
288.         return -1;

libavformat/aviobuf.c:706:1: start of procedure avio_rl32()
  704. }
  705. 
  706. unsigned int avio_rl32(AVIOContext *s)
       ^
  707. {
  708.     unsigned int val;

libavformat/aviobuf.c:709:5: 
  707. {
  708.     unsigned int val;
  709.     val = avio_rl16(s);
           ^
  710.     val |= avio_rl16(s) << 16;
  711.     return val;

libavformat/aviobuf.c:690:1: start of procedure avio_rl16()
    688. }
    689. 
    690. unsigned int avio_rl16(AVIOContext *s)
         ^
    691. {
    692.     unsigned int val;

libavformat/aviobuf.c:693:5: 
    691. {
    692.     unsigned int val;
    693.     val = avio_r8(s);
             ^
    694.     val |= avio_r8(s) << 8;
    695.     return val;

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:694:5: 
    692.     unsigned int val;
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
             ^
    695.     return val;
    696. }

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:695:5: 
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
    695.     return val;
             ^
    696. }
    697. 

libavformat/aviobuf.c:696:1: return from a call to avio_rl16
    694.     val |= avio_r8(s) << 8;
    695.     return val;
    696. }
         ^
    697. 
    698. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:710:5: 
  708.     unsigned int val;
  709.     val = avio_rl16(s);
  710.     val |= avio_rl16(s) << 16;
           ^
  711.     return val;
  712. }

libavformat/aviobuf.c:690:1: start of procedure avio_rl16()
    688. }
    689. 
    690. unsigned int avio_rl16(AVIOContext *s)
         ^
    691. {
    692.     unsigned int val;

libavformat/aviobuf.c:693:5: 
    691. {
    692.     unsigned int val;
    693.     val = avio_r8(s);
             ^
    694.     val |= avio_r8(s) << 8;
    695.     return val;

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:694:5: 
    692.     unsigned int val;
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
             ^
    695.     return val;
    696. }

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:695:5: 
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
    695.     return val;
             ^
    696. }
    697. 

libavformat/aviobuf.c:696:1: return from a call to avio_rl16
    694.     val |= avio_r8(s) << 8;
    695.     return val;
    696. }
         ^
    697. 
    698. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:711:5: 
  709.     val = avio_rl16(s);
  710.     val |= avio_rl16(s) << 16;
  711.     return val;
           ^
  712. }
  713. 

libavformat/aviobuf.c:712:1: return from a call to avio_rl32
  710.     val |= avio_rl16(s) << 16;
  711.     return val;
  712. }
       ^
  713. 
  714. uint64_t avio_rl64(AVIOContext *s)

libavformat/nsvdec.c:287:9: Taking false branch
285. 
286.     size = avio_rl32(pb);
287.     if (size < 28)
             ^
288.         return -1;
289.     nsv->NSVf_end = size;

libavformat/nsvdec.c:289:5: 
287.     if (size < 28)
288.         return -1;
289.     nsv->NSVf_end = size;
         ^
290. 
291.     //s->file_size = (uint32_t)avio_rl32(pb);

libavformat/nsvdec.c:292:5: 
290. 
291.     //s->file_size = (uint32_t)avio_rl32(pb);
292.     file_size = (uint32_t)avio_rl32(pb);
         ^
293.     av_dlog(s, "NSV NSVf chunk_size %u\n", size);
294.     av_dlog(s, "NSV NSVf file_size %u\n", file_size);

libavformat/aviobuf.c:706:1: start of procedure avio_rl32()
  704. }
  705. 
  706. unsigned int avio_rl32(AVIOContext *s)
       ^
  707. {
  708.     unsigned int val;

libavformat/aviobuf.c:709:5: 
  707. {
  708.     unsigned int val;
  709.     val = avio_rl16(s);
           ^
  710.     val |= avio_rl16(s) << 16;
  711.     return val;

libavformat/aviobuf.c:690:1: start of procedure avio_rl16()
    688. }
    689. 
    690. unsigned int avio_rl16(AVIOContext *s)
         ^
    691. {
    692.     unsigned int val;

libavformat/aviobuf.c:693:5: 
    691. {
    692.     unsigned int val;
    693.     val = avio_r8(s);
             ^
    694.     val |= avio_r8(s) << 8;
    695.     return val;

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:694:5: 
    692.     unsigned int val;
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
             ^
    695.     return val;
    696. }

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:695:5: 
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
    695.     return val;
             ^
    696. }
    697. 

libavformat/aviobuf.c:696:1: return from a call to avio_rl16
    694.     val |= avio_r8(s) << 8;
    695.     return val;
    696. }
         ^
    697. 
    698. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:710:5: 
  708.     unsigned int val;
  709.     val = avio_rl16(s);
  710.     val |= avio_rl16(s) << 16;
           ^
  711.     return val;
  712. }

libavformat/aviobuf.c:690:1: start of procedure avio_rl16()
    688. }
    689. 
    690. unsigned int avio_rl16(AVIOContext *s)
         ^
    691. {
    692.     unsigned int val;

libavformat/aviobuf.c:693:5: 
    691. {
    692.     unsigned int val;
    693.     val = avio_r8(s);
             ^
    694.     val |= avio_r8(s) << 8;
    695.     return val;

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:694:5: 
    692.     unsigned int val;
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
             ^
    695.     return val;
    696. }

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:695:5: 
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
    695.     return val;
             ^
    696. }
    697. 

libavformat/aviobuf.c:696:1: return from a call to avio_rl16
    694.     val |= avio_r8(s) << 8;
    695.     return val;
    696. }
         ^
    697. 
    698. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:711:5: 
  709.     val = avio_rl16(s);
  710.     val |= avio_rl16(s) << 16;
  711.     return val;
           ^
  712. }
  713. 

libavformat/aviobuf.c:712:1: return from a call to avio_rl32
  710.     val |= avio_rl16(s) << 16;
  711.     return val;
  712. }
       ^
  713. 
  714. uint64_t avio_rl64(AVIOContext *s)

libavformat/nsvdec.c:296:5: 
294.     av_dlog(s, "NSV NSVf file_size %u\n", file_size);
295. 
296.     nsv->duration = duration = avio_rl32(pb); /* in ms */
         ^
297.     av_dlog(s, "NSV NSVf duration %"PRId64" ms\n", duration);
298.     // XXX: store it in AVStreams

libavformat/aviobuf.c:706:1: start of procedure avio_rl32()
  704. }
  705. 
  706. unsigned int avio_rl32(AVIOContext *s)
       ^
  707. {
  708.     unsigned int val;

libavformat/aviobuf.c:709:5: 
  707. {
  708.     unsigned int val;
  709.     val = avio_rl16(s);
           ^
  710.     val |= avio_rl16(s) << 16;
  711.     return val;

libavformat/aviobuf.c:690:1: start of procedure avio_rl16()
    688. }
    689. 
    690. unsigned int avio_rl16(AVIOContext *s)
         ^
    691. {
    692.     unsigned int val;

libavformat/aviobuf.c:693:5: 
    691. {
    692.     unsigned int val;
    693.     val = avio_r8(s);
             ^
    694.     val |= avio_r8(s) << 8;
    695.     return val;

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:694:5: 
    692.     unsigned int val;
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
             ^
    695.     return val;
    696. }

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:695:5: 
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
    695.     return val;
             ^
    696. }
    697. 

libavformat/aviobuf.c:696:1: return from a call to avio_rl16
    694.     val |= avio_r8(s) << 8;
    695.     return val;
    696. }
         ^
    697. 
    698. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:710:5: 
  708.     unsigned int val;
  709.     val = avio_rl16(s);
  710.     val |= avio_rl16(s) << 16;
           ^
  711.     return val;
  712. }

libavformat/aviobuf.c:690:1: start of procedure avio_rl16()
    688. }
    689. 
    690. unsigned int avio_rl16(AVIOContext *s)
         ^
    691. {
    692.     unsigned int val;

libavformat/aviobuf.c:693:5: 
    691. {
    692.     unsigned int val;
    693.     val = avio_r8(s);
             ^
    694.     val |= avio_r8(s) << 8;
    695.     return val;

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:694:5: 
    692.     unsigned int val;
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
             ^
    695.     return val;
    696. }

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:695:5: 
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
    695.     return val;
             ^
    696. }
    697. 

libavformat/aviobuf.c:696:1: return from a call to avio_rl16
    694.     val |= avio_r8(s) << 8;
    695.     return val;
    696. }
         ^
    697. 
    698. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:711:5: 
  709.     val = avio_rl16(s);
  710.     val |= avio_rl16(s) << 16;
  711.     return val;
           ^
  712. }
  713. 

libavformat/aviobuf.c:712:1: return from a call to avio_rl32
  710.     val |= avio_rl16(s) << 16;
  711.     return val;
  712. }
       ^
  713. 
  714. uint64_t avio_rl64(AVIOContext *s)

libavformat/nsvdec.c:300:5: 
298.     // XXX: store it in AVStreams
299. 
300.     strings_size = avio_rl32(pb);
         ^
301.     table_entries = avio_rl32(pb);
302.     table_entries_used = avio_rl32(pb);

libavformat/aviobuf.c:706:1: start of procedure avio_rl32()
  704. }
  705. 
  706. unsigned int avio_rl32(AVIOContext *s)
       ^
  707. {
  708.     unsigned int val;

libavformat/aviobuf.c:709:5: 
  707. {
  708.     unsigned int val;
  709.     val = avio_rl16(s);
           ^
  710.     val |= avio_rl16(s) << 16;
  711.     return val;

libavformat/aviobuf.c:690:1: start of procedure avio_rl16()
    688. }
    689. 
    690. unsigned int avio_rl16(AVIOContext *s)
         ^
    691. {
    692.     unsigned int val;

libavformat/aviobuf.c:693:5: 
    691. {
    692.     unsigned int val;
    693.     val = avio_r8(s);
             ^
    694.     val |= avio_r8(s) << 8;
    695.     return val;

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:694:5: 
    692.     unsigned int val;
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
             ^
    695.     return val;
    696. }

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:695:5: 
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
    695.     return val;
             ^
    696. }
    697. 

libavformat/aviobuf.c:696:1: return from a call to avio_rl16
    694.     val |= avio_r8(s) << 8;
    695.     return val;
    696. }
         ^
    697. 
    698. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:710:5: 
  708.     unsigned int val;
  709.     val = avio_rl16(s);
  710.     val |= avio_rl16(s) << 16;
           ^
  711.     return val;
  712. }

libavformat/aviobuf.c:690:1: start of procedure avio_rl16()
    688. }
    689. 
    690. unsigned int avio_rl16(AVIOContext *s)
         ^
    691. {
    692.     unsigned int val;

libavformat/aviobuf.c:693:5: 
    691. {
    692.     unsigned int val;
    693.     val = avio_r8(s);
             ^
    694.     val |= avio_r8(s) << 8;
    695.     return val;

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:694:5: 
    692.     unsigned int val;
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
             ^
    695.     return val;
    696. }

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:695:5: 
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
    695.     return val;
             ^
    696. }
    697. 

libavformat/aviobuf.c:696:1: return from a call to avio_rl16
    694.     val |= avio_r8(s) << 8;
    695.     return val;
    696. }
         ^
    697. 
    698. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:711:5: 
  709.     val = avio_rl16(s);
  710.     val |= avio_rl16(s) << 16;
  711.     return val;
           ^
  712. }
  713. 

libavformat/aviobuf.c:712:1: return from a call to avio_rl32
  710.     val |= avio_rl16(s) << 16;
  711.     return val;
  712. }
       ^
  713. 
  714. uint64_t avio_rl64(AVIOContext *s)

libavformat/nsvdec.c:301:5: 
299. 
300.     strings_size = avio_rl32(pb);
301.     table_entries = avio_rl32(pb);
         ^
302.     table_entries_used = avio_rl32(pb);
303.     av_dlog(s, "NSV NSVf info-strings size: %d, table entries: %d, bis %d\n",

libavformat/aviobuf.c:706:1: start of procedure avio_rl32()
  704. }
  705. 
  706. unsigned int avio_rl32(AVIOContext *s)
       ^
  707. {
  708.     unsigned int val;

libavformat/aviobuf.c:709:5: 
  707. {
  708.     unsigned int val;
  709.     val = avio_rl16(s);
           ^
  710.     val |= avio_rl16(s) << 16;
  711.     return val;

libavformat/aviobuf.c:690:1: start of procedure avio_rl16()
    688. }
    689. 
    690. unsigned int avio_rl16(AVIOContext *s)
         ^
    691. {
    692.     unsigned int val;

libavformat/aviobuf.c:693:5: 
    691. {
    692.     unsigned int val;
    693.     val = avio_r8(s);
             ^
    694.     val |= avio_r8(s) << 8;
    695.     return val;

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:694:5: 
    692.     unsigned int val;
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
             ^
    695.     return val;
    696. }

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:695:5: 
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
    695.     return val;
             ^
    696. }
    697. 

libavformat/aviobuf.c:696:1: return from a call to avio_rl16
    694.     val |= avio_r8(s) << 8;
    695.     return val;
    696. }
         ^
    697. 
    698. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:710:5: 
  708.     unsigned int val;
  709.     val = avio_rl16(s);
  710.     val |= avio_rl16(s) << 16;
           ^
  711.     return val;
  712. }

libavformat/aviobuf.c:690:1: start of procedure avio_rl16()
    688. }
    689. 
    690. unsigned int avio_rl16(AVIOContext *s)
         ^
    691. {
    692.     unsigned int val;

libavformat/aviobuf.c:693:5: 
    691. {
    692.     unsigned int val;
    693.     val = avio_r8(s);
             ^
    694.     val |= avio_r8(s) << 8;
    695.     return val;

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:694:5: 
    692.     unsigned int val;
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
             ^
    695.     return val;
    696. }

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:695:5: 
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
    695.     return val;
             ^
    696. }
    697. 

libavformat/aviobuf.c:696:1: return from a call to avio_rl16
    694.     val |= avio_r8(s) << 8;
    695.     return val;
    696. }
         ^
    697. 
    698. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:711:5: 
  709.     val = avio_rl16(s);
  710.     val |= avio_rl16(s) << 16;
  711.     return val;
           ^
  712. }
  713. 

libavformat/aviobuf.c:712:1: return from a call to avio_rl32
  710.     val |= avio_rl16(s) << 16;
  711.     return val;
  712. }
       ^
  713. 
  714. uint64_t avio_rl64(AVIOContext *s)

libavformat/nsvdec.c:302:5: 
300.     strings_size = avio_rl32(pb);
301.     table_entries = avio_rl32(pb);
302.     table_entries_used = avio_rl32(pb);
         ^
303.     av_dlog(s, "NSV NSVf info-strings size: %d, table entries: %d, bis %d\n",
304.             strings_size, table_entries, table_entries_used);

libavformat/aviobuf.c:706:1: start of procedure avio_rl32()
  704. }
  705. 
  706. unsigned int avio_rl32(AVIOContext *s)
       ^
  707. {
  708.     unsigned int val;

libavformat/aviobuf.c:709:5: 
  707. {
  708.     unsigned int val;
  709.     val = avio_rl16(s);
           ^
  710.     val |= avio_rl16(s) << 16;
  711.     return val;

libavformat/aviobuf.c:690:1: start of procedure avio_rl16()
    688. }
    689. 
    690. unsigned int avio_rl16(AVIOContext *s)
         ^
    691. {
    692.     unsigned int val;

libavformat/aviobuf.c:693:5: 
    691. {
    692.     unsigned int val;
    693.     val = avio_r8(s);
             ^
    694.     val |= avio_r8(s) << 8;
    695.     return val;

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:694:5: 
    692.     unsigned int val;
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
             ^
    695.     return val;
    696. }

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:695:5: 
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
    695.     return val;
             ^
    696. }
    697. 

libavformat/aviobuf.c:696:1: return from a call to avio_rl16
    694.     val |= avio_r8(s) << 8;
    695.     return val;
    696. }
         ^
    697. 
    698. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:710:5: 
  708.     unsigned int val;
  709.     val = avio_rl16(s);
  710.     val |= avio_rl16(s) << 16;
           ^
  711.     return val;
  712. }

libavformat/aviobuf.c:690:1: start of procedure avio_rl16()
    688. }
    689. 
    690. unsigned int avio_rl16(AVIOContext *s)
         ^
    691. {
    692.     unsigned int val;

libavformat/aviobuf.c:693:5: 
    691. {
    692.     unsigned int val;
    693.     val = avio_r8(s);
             ^
    694.     val |= avio_r8(s) << 8;
    695.     return val;

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:694:5: 
    692.     unsigned int val;
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
             ^
    695.     return val;
    696. }

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:695:5: 
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
    695.     return val;
             ^
    696. }
    697. 

libavformat/aviobuf.c:696:1: return from a call to avio_rl16
    694.     val |= avio_r8(s) << 8;
    695.     return val;
    696. }
         ^
    697. 
    698. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:711:5: 
  709.     val = avio_rl16(s);
  710.     val |= avio_rl16(s) << 16;
  711.     return val;
           ^
  712. }
  713. 

libavformat/aviobuf.c:712:1: return from a call to avio_rl32
  710.     val |= avio_rl16(s) << 16;
  711.     return val;
  712. }
       ^
  713. 
  714. uint64_t avio_rl64(AVIOContext *s)

libavformat/nsvdec.c:305:9: Taking false branch
303.     av_dlog(s, "NSV NSVf info-strings size: %d, table entries: %d, bis %d\n",
304.             strings_size, table_entries, table_entries_used);
305.     if (pb->eof_reached)
             ^
306.         return -1;
307. 

libavformat/nsvdec.c:310:9: Taking false branch
308.     av_dlog(s, "NSV got header; filepos %"PRId64"\n", avio_tell(pb));
309. 
310.     if (strings_size > 0) {
             ^
311.         char *strings; /* last byte will be '\0' to play safe with str*() */
312.         char *p, *endp;

libavformat/nsvdec.c:340:9: Taking false branch
338.         av_free(strings);
339.     }
340.     if (pb->eof_reached)
             ^
341.         return -1;
342. 

libavformat/nsvdec.c:345:9: Taking true branch
343.     av_dlog(s, "NSV got infos; filepos %"PRId64"\n", avio_tell(pb));
344. 
345.     if (table_entries_used > 0) {
             ^
346.         int i;
347.         nsv->index_entries = table_entries_used;

libavformat/nsvdec.c:347:9: 
345.     if (table_entries_used > 0) {
346.         int i;
347.         nsv->index_entries = table_entries_used;
             ^
348.         if((unsigned)table_entries_used >= UINT_MAX / sizeof(uint32_t))
349.             return -1;

libavformat/nsvdec.c:348:12: Taking false branch
346.         int i;
347.         nsv->index_entries = table_entries_used;
348.         if((unsigned)table_entries_used >= UINT_MAX / sizeof(uint32_t))
                ^
349.             return -1;
350.         nsv->nsvs_file_offset = av_malloc((unsigned)table_entries_used * sizeof(uint32_t));

libavformat/nsvdec.c:350:9: 
348.         if((unsigned)table_entries_used >= UINT_MAX / sizeof(uint32_t))
349.             return -1;
350.         nsv->nsvs_file_offset = av_malloc((unsigned)table_entries_used * sizeof(uint32_t));
             ^
351. 
352.         for(i=0;i<table_entries_used;i++)

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

libavutil/mem.c:66:5: 
  64. void *av_malloc(size_t 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-32) )
             ^
  73.         return NULL;
  74. 

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

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

libavformat/nsvdec.c:352:13: 
350.         nsv->nsvs_file_offset = av_malloc((unsigned)table_entries_used * sizeof(uint32_t));
351. 
352.         for(i=0;i<table_entries_used;i++)
                 ^
353.             nsv->nsvs_file_offset[i] = avio_rl32(pb) + size;
354. 

libavformat/nsvdec.c:352:17: Loop condition is true. Entering loop body
350.         nsv->nsvs_file_offset = av_malloc((unsigned)table_entries_used * sizeof(uint32_t));
351. 
352.         for(i=0;i<table_entries_used;i++)
                     ^
353.             nsv->nsvs_file_offset[i] = avio_rl32(pb) + size;
354. 

libavformat/nsvdec.c:353:13: 
351. 
352.         for(i=0;i<table_entries_used;i++)
353.             nsv->nsvs_file_offset[i] = avio_rl32(pb) + size;
                 ^
354. 
355.         if(table_entries > table_entries_used &&

libavformat/aviobuf.c:706:1: start of procedure avio_rl32()
  704. }
  705. 
  706. unsigned int avio_rl32(AVIOContext *s)
       ^
  707. {
  708.     unsigned int val;

libavformat/aviobuf.c:709:5: 
  707. {
  708.     unsigned int val;
  709.     val = avio_rl16(s);
           ^
  710.     val |= avio_rl16(s) << 16;
  711.     return val;

libavformat/aviobuf.c:690:1: start of procedure avio_rl16()
    688. }
    689. 
    690. unsigned int avio_rl16(AVIOContext *s)
         ^
    691. {
    692.     unsigned int val;

libavformat/aviobuf.c:693:5: 
    691. {
    692.     unsigned int val;
    693.     val = avio_r8(s);
             ^
    694.     val |= avio_r8(s) << 8;
    695.     return val;

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:694:5: 
    692.     unsigned int val;
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
             ^
    695.     return val;
    696. }

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:695:5: 
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
    695.     return val;
             ^
    696. }
    697. 

libavformat/aviobuf.c:696:1: return from a call to avio_rl16
    694.     val |= avio_r8(s) << 8;
    695.     return val;
    696. }
         ^
    697. 
    698. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:710:5: 
  708.     unsigned int val;
  709.     val = avio_rl16(s);
  710.     val |= avio_rl16(s) << 16;
           ^
  711.     return val;
  712. }

libavformat/aviobuf.c:690:1: start of procedure avio_rl16()
    688. }
    689. 
    690. unsigned int avio_rl16(AVIOContext *s)
         ^
    691. {
    692.     unsigned int val;

libavformat/aviobuf.c:693:5: 
    691. {
    692.     unsigned int val;
    693.     val = avio_r8(s);
             ^
    694.     val |= avio_r8(s) << 8;
    695.     return val;

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:694:5: 
    692.     unsigned int val;
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
             ^
    695.     return val;
    696. }

libavformat/aviobuf.c:600:1: start of procedure avio_r8()
      598. 
      599. /* XXX: put an inline version */
      600. int avio_r8(AVIOContext *s)
           ^
      601. {
      602.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:602:9: Taking false branch
      600. int avio_r8(AVIOContext *s)
      601. {
      602.     if (s->buf_ptr >= s->buf_end)
                   ^
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:604:9: Taking true branch
      602.     if (s->buf_ptr >= s->buf_end)
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
                   ^
      605.         return *s->buf_ptr++;
      606.     return 0;

libavformat/aviobuf.c:605:9: 
      603.         fill_buffer(s);
      604.     if (s->buf_ptr < s->buf_end)
      605.         return *s->buf_ptr++;
                   ^
      606.     return 0;
      607. }

libavformat/aviobuf.c:607:1: return from a call to avio_r8
      605.         return *s->buf_ptr++;
      606.     return 0;
      607. }
           ^
      608. 
      609. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:695:5: 
    693.     val = avio_r8(s);
    694.     val |= avio_r8(s) << 8;
    695.     return val;
             ^
    696. }
    697. 

libavformat/aviobuf.c:696:1: return from a call to avio_rl16
    694.     val |= avio_r8(s) << 8;
    695.     return val;
    696. }
         ^
    697. 
    698. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:711:5: 
  709.     val = avio_rl16(s);
  710.     val |= avio_rl16(s) << 16;
  711.     return val;
           ^
  712. }
  713. 

libavformat/aviobuf.c:712:1: return from a call to avio_rl32
  710.     val |= avio_rl16(s) << 16;
  711.     return val;
  712. }
       ^
  713. 
  714. uint64_t avio_rl64(AVIOContext *s)
