libavformat/nsvdec.c:314: error: Null Dereference
  pointer `p` last assigned on line 310 could be null and is dereferenced at line 314, column 20.

libavformat/nsvdec.c:266:1: start of procedure nsv_parse_NSVf_header()
264. }
265. 
266. static int nsv_parse_NSVf_header(AVFormatContext *s, AVFormatParameters *ap)
     ^
267. {
268.     NSVContext *nsv = s->priv_data;

libavformat/nsvdec.c:268:5: 
266. static int nsv_parse_NSVf_header(AVFormatContext *s, AVFormatParameters *ap)
267. {
268.     NSVContext *nsv = s->priv_data;
         ^
269.     AVIOContext *pb = s->pb;
270.     unsigned int file_size, size;

libavformat/nsvdec.c:269:5: 
267. {
268.     NSVContext *nsv = s->priv_data;
269.     AVIOContext *pb = s->pb;
         ^
270.     unsigned int file_size, size;
271.     int64_t duration;

libavformat/nsvdec.c:278:5: 
276.     av_dlog(s, "%s()\n", __FUNCTION__);
277. 
278.     nsv->state = NSV_UNSYNC; /* in case we fail */
         ^
279. 
280.     size = avio_rl32(pb);

libavformat/nsvdec.c:280:5: 
278.     nsv->state = NSV_UNSYNC; /* in case we fail */
279. 
280.     size = avio_rl32(pb);
         ^
281.     if (size < 28)
282.         return -1;

libavformat/aviobuf.c:645:1: start of procedure avio_rl32()
  643. }
  644. 
  645. unsigned int avio_rl32(AVIOContext *s)
       ^
  646. {
  647.     unsigned int val;

libavformat/aviobuf.c:648:5: 
  646. {
  647.     unsigned int val;
  648.     val = avio_rl16(s);
           ^
  649.     val |= avio_rl16(s) << 16;
  650.     return val;

libavformat/aviobuf.c:629:1: start of procedure avio_rl16()
    627. }
    628. 
    629. unsigned int avio_rl16(AVIOContext *s)
         ^
    630. {
    631.     unsigned int val;

libavformat/aviobuf.c:632:5: 
    630. {
    631.     unsigned int val;
    632.     val = avio_r8(s);
             ^
    633.     val |= avio_r8(s) << 8;
    634.     return val;

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:633:5: 
    631.     unsigned int val;
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
             ^
    634.     return val;
    635. }

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:634:5: 
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
    634.     return val;
             ^
    635. }
    636. 

libavformat/aviobuf.c:635:1: return from a call to avio_rl16
    633.     val |= avio_r8(s) << 8;
    634.     return val;
    635. }
         ^
    636. 
    637. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:649:5: 
  647.     unsigned int val;
  648.     val = avio_rl16(s);
  649.     val |= avio_rl16(s) << 16;
           ^
  650.     return val;
  651. }

libavformat/aviobuf.c:629:1: start of procedure avio_rl16()
    627. }
    628. 
    629. unsigned int avio_rl16(AVIOContext *s)
         ^
    630. {
    631.     unsigned int val;

libavformat/aviobuf.c:632:5: 
    630. {
    631.     unsigned int val;
    632.     val = avio_r8(s);
             ^
    633.     val |= avio_r8(s) << 8;
    634.     return val;

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:633:5: 
    631.     unsigned int val;
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
             ^
    634.     return val;
    635. }

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:634:5: 
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
    634.     return val;
             ^
    635. }
    636. 

libavformat/aviobuf.c:635:1: return from a call to avio_rl16
    633.     val |= avio_r8(s) << 8;
    634.     return val;
    635. }
         ^
    636. 
    637. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:650:5: 
  648.     val = avio_rl16(s);
  649.     val |= avio_rl16(s) << 16;
  650.     return val;
           ^
  651. }
  652. 

libavformat/aviobuf.c:651:1: return from a call to avio_rl32
  649.     val |= avio_rl16(s) << 16;
  650.     return val;
  651. }
       ^
  652. 
  653. uint64_t avio_rl64(AVIOContext *s)

libavformat/nsvdec.c:281:9: Taking false branch
279. 
280.     size = avio_rl32(pb);
281.     if (size < 28)
             ^
282.         return -1;
283.     nsv->NSVf_end = size;

libavformat/nsvdec.c:283:5: 
281.     if (size < 28)
282.         return -1;
283.     nsv->NSVf_end = size;
         ^
284. 
285.     //s->file_size = (uint32_t)avio_rl32(pb);

libavformat/nsvdec.c:286:5: 
284. 
285.     //s->file_size = (uint32_t)avio_rl32(pb);
286.     file_size = (uint32_t)avio_rl32(pb);
         ^
287.     av_dlog(s, "NSV NSVf chunk_size %u\n", size);
288.     av_dlog(s, "NSV NSVf file_size %u\n", file_size);

libavformat/aviobuf.c:645:1: start of procedure avio_rl32()
  643. }
  644. 
  645. unsigned int avio_rl32(AVIOContext *s)
       ^
  646. {
  647.     unsigned int val;

libavformat/aviobuf.c:648:5: 
  646. {
  647.     unsigned int val;
  648.     val = avio_rl16(s);
           ^
  649.     val |= avio_rl16(s) << 16;
  650.     return val;

libavformat/aviobuf.c:629:1: start of procedure avio_rl16()
    627. }
    628. 
    629. unsigned int avio_rl16(AVIOContext *s)
         ^
    630. {
    631.     unsigned int val;

libavformat/aviobuf.c:632:5: 
    630. {
    631.     unsigned int val;
    632.     val = avio_r8(s);
             ^
    633.     val |= avio_r8(s) << 8;
    634.     return val;

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:633:5: 
    631.     unsigned int val;
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
             ^
    634.     return val;
    635. }

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:634:5: 
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
    634.     return val;
             ^
    635. }
    636. 

libavformat/aviobuf.c:635:1: return from a call to avio_rl16
    633.     val |= avio_r8(s) << 8;
    634.     return val;
    635. }
         ^
    636. 
    637. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:649:5: 
  647.     unsigned int val;
  648.     val = avio_rl16(s);
  649.     val |= avio_rl16(s) << 16;
           ^
  650.     return val;
  651. }

libavformat/aviobuf.c:629:1: start of procedure avio_rl16()
    627. }
    628. 
    629. unsigned int avio_rl16(AVIOContext *s)
         ^
    630. {
    631.     unsigned int val;

libavformat/aviobuf.c:632:5: 
    630. {
    631.     unsigned int val;
    632.     val = avio_r8(s);
             ^
    633.     val |= avio_r8(s) << 8;
    634.     return val;

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:633:5: 
    631.     unsigned int val;
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
             ^
    634.     return val;
    635. }

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:634:5: 
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
    634.     return val;
             ^
    635. }
    636. 

libavformat/aviobuf.c:635:1: return from a call to avio_rl16
    633.     val |= avio_r8(s) << 8;
    634.     return val;
    635. }
         ^
    636. 
    637. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:650:5: 
  648.     val = avio_rl16(s);
  649.     val |= avio_rl16(s) << 16;
  650.     return val;
           ^
  651. }
  652. 

libavformat/aviobuf.c:651:1: return from a call to avio_rl32
  649.     val |= avio_rl16(s) << 16;
  650.     return val;
  651. }
       ^
  652. 
  653. uint64_t avio_rl64(AVIOContext *s)

libavformat/nsvdec.c:290:5: 
288.     av_dlog(s, "NSV NSVf file_size %u\n", file_size);
289. 
290.     nsv->duration = duration = avio_rl32(pb); /* in ms */
         ^
291.     av_dlog(s, "NSV NSVf duration %"PRId64" ms\n", duration);
292.     // XXX: store it in AVStreams

libavformat/aviobuf.c:645:1: start of procedure avio_rl32()
  643. }
  644. 
  645. unsigned int avio_rl32(AVIOContext *s)
       ^
  646. {
  647.     unsigned int val;

libavformat/aviobuf.c:648:5: 
  646. {
  647.     unsigned int val;
  648.     val = avio_rl16(s);
           ^
  649.     val |= avio_rl16(s) << 16;
  650.     return val;

libavformat/aviobuf.c:629:1: start of procedure avio_rl16()
    627. }
    628. 
    629. unsigned int avio_rl16(AVIOContext *s)
         ^
    630. {
    631.     unsigned int val;

libavformat/aviobuf.c:632:5: 
    630. {
    631.     unsigned int val;
    632.     val = avio_r8(s);
             ^
    633.     val |= avio_r8(s) << 8;
    634.     return val;

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:633:5: 
    631.     unsigned int val;
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
             ^
    634.     return val;
    635. }

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:634:5: 
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
    634.     return val;
             ^
    635. }
    636. 

libavformat/aviobuf.c:635:1: return from a call to avio_rl16
    633.     val |= avio_r8(s) << 8;
    634.     return val;
    635. }
         ^
    636. 
    637. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:649:5: 
  647.     unsigned int val;
  648.     val = avio_rl16(s);
  649.     val |= avio_rl16(s) << 16;
           ^
  650.     return val;
  651. }

libavformat/aviobuf.c:629:1: start of procedure avio_rl16()
    627. }
    628. 
    629. unsigned int avio_rl16(AVIOContext *s)
         ^
    630. {
    631.     unsigned int val;

libavformat/aviobuf.c:632:5: 
    630. {
    631.     unsigned int val;
    632.     val = avio_r8(s);
             ^
    633.     val |= avio_r8(s) << 8;
    634.     return val;

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:633:5: 
    631.     unsigned int val;
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
             ^
    634.     return val;
    635. }

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:634:5: 
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
    634.     return val;
             ^
    635. }
    636. 

libavformat/aviobuf.c:635:1: return from a call to avio_rl16
    633.     val |= avio_r8(s) << 8;
    634.     return val;
    635. }
         ^
    636. 
    637. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:650:5: 
  648.     val = avio_rl16(s);
  649.     val |= avio_rl16(s) << 16;
  650.     return val;
           ^
  651. }
  652. 

libavformat/aviobuf.c:651:1: return from a call to avio_rl32
  649.     val |= avio_rl16(s) << 16;
  650.     return val;
  651. }
       ^
  652. 
  653. uint64_t avio_rl64(AVIOContext *s)

libavformat/nsvdec.c:294:5: 
292.     // XXX: store it in AVStreams
293. 
294.     strings_size = avio_rl32(pb);
         ^
295.     table_entries = avio_rl32(pb);
296.     table_entries_used = avio_rl32(pb);

libavformat/aviobuf.c:645:1: start of procedure avio_rl32()
  643. }
  644. 
  645. unsigned int avio_rl32(AVIOContext *s)
       ^
  646. {
  647.     unsigned int val;

libavformat/aviobuf.c:648:5: 
  646. {
  647.     unsigned int val;
  648.     val = avio_rl16(s);
           ^
  649.     val |= avio_rl16(s) << 16;
  650.     return val;

libavformat/aviobuf.c:629:1: start of procedure avio_rl16()
    627. }
    628. 
    629. unsigned int avio_rl16(AVIOContext *s)
         ^
    630. {
    631.     unsigned int val;

libavformat/aviobuf.c:632:5: 
    630. {
    631.     unsigned int val;
    632.     val = avio_r8(s);
             ^
    633.     val |= avio_r8(s) << 8;
    634.     return val;

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:633:5: 
    631.     unsigned int val;
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
             ^
    634.     return val;
    635. }

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:634:5: 
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
    634.     return val;
             ^
    635. }
    636. 

libavformat/aviobuf.c:635:1: return from a call to avio_rl16
    633.     val |= avio_r8(s) << 8;
    634.     return val;
    635. }
         ^
    636. 
    637. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:649:5: 
  647.     unsigned int val;
  648.     val = avio_rl16(s);
  649.     val |= avio_rl16(s) << 16;
           ^
  650.     return val;
  651. }

libavformat/aviobuf.c:629:1: start of procedure avio_rl16()
    627. }
    628. 
    629. unsigned int avio_rl16(AVIOContext *s)
         ^
    630. {
    631.     unsigned int val;

libavformat/aviobuf.c:632:5: 
    630. {
    631.     unsigned int val;
    632.     val = avio_r8(s);
             ^
    633.     val |= avio_r8(s) << 8;
    634.     return val;

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:633:5: 
    631.     unsigned int val;
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
             ^
    634.     return val;
    635. }

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:634:5: 
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
    634.     return val;
             ^
    635. }
    636. 

libavformat/aviobuf.c:635:1: return from a call to avio_rl16
    633.     val |= avio_r8(s) << 8;
    634.     return val;
    635. }
         ^
    636. 
    637. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:650:5: 
  648.     val = avio_rl16(s);
  649.     val |= avio_rl16(s) << 16;
  650.     return val;
           ^
  651. }
  652. 

libavformat/aviobuf.c:651:1: return from a call to avio_rl32
  649.     val |= avio_rl16(s) << 16;
  650.     return val;
  651. }
       ^
  652. 
  653. uint64_t avio_rl64(AVIOContext *s)

libavformat/nsvdec.c:295:5: 
293. 
294.     strings_size = avio_rl32(pb);
295.     table_entries = avio_rl32(pb);
         ^
296.     table_entries_used = avio_rl32(pb);
297.     av_dlog(s, "NSV NSVf info-strings size: %d, table entries: %d, bis %d\n",

libavformat/aviobuf.c:645:1: start of procedure avio_rl32()
  643. }
  644. 
  645. unsigned int avio_rl32(AVIOContext *s)
       ^
  646. {
  647.     unsigned int val;

libavformat/aviobuf.c:648:5: 
  646. {
  647.     unsigned int val;
  648.     val = avio_rl16(s);
           ^
  649.     val |= avio_rl16(s) << 16;
  650.     return val;

libavformat/aviobuf.c:629:1: start of procedure avio_rl16()
    627. }
    628. 
    629. unsigned int avio_rl16(AVIOContext *s)
         ^
    630. {
    631.     unsigned int val;

libavformat/aviobuf.c:632:5: 
    630. {
    631.     unsigned int val;
    632.     val = avio_r8(s);
             ^
    633.     val |= avio_r8(s) << 8;
    634.     return val;

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:633:5: 
    631.     unsigned int val;
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
             ^
    634.     return val;
    635. }

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:634:5: 
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
    634.     return val;
             ^
    635. }
    636. 

libavformat/aviobuf.c:635:1: return from a call to avio_rl16
    633.     val |= avio_r8(s) << 8;
    634.     return val;
    635. }
         ^
    636. 
    637. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:649:5: 
  647.     unsigned int val;
  648.     val = avio_rl16(s);
  649.     val |= avio_rl16(s) << 16;
           ^
  650.     return val;
  651. }

libavformat/aviobuf.c:629:1: start of procedure avio_rl16()
    627. }
    628. 
    629. unsigned int avio_rl16(AVIOContext *s)
         ^
    630. {
    631.     unsigned int val;

libavformat/aviobuf.c:632:5: 
    630. {
    631.     unsigned int val;
    632.     val = avio_r8(s);
             ^
    633.     val |= avio_r8(s) << 8;
    634.     return val;

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:633:5: 
    631.     unsigned int val;
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
             ^
    634.     return val;
    635. }

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:634:5: 
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
    634.     return val;
             ^
    635. }
    636. 

libavformat/aviobuf.c:635:1: return from a call to avio_rl16
    633.     val |= avio_r8(s) << 8;
    634.     return val;
    635. }
         ^
    636. 
    637. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:650:5: 
  648.     val = avio_rl16(s);
  649.     val |= avio_rl16(s) << 16;
  650.     return val;
           ^
  651. }
  652. 

libavformat/aviobuf.c:651:1: return from a call to avio_rl32
  649.     val |= avio_rl16(s) << 16;
  650.     return val;
  651. }
       ^
  652. 
  653. uint64_t avio_rl64(AVIOContext *s)

libavformat/nsvdec.c:296:5: 
294.     strings_size = avio_rl32(pb);
295.     table_entries = avio_rl32(pb);
296.     table_entries_used = avio_rl32(pb);
         ^
297.     av_dlog(s, "NSV NSVf info-strings size: %d, table entries: %d, bis %d\n",
298.             strings_size, table_entries, table_entries_used);

libavformat/aviobuf.c:645:1: start of procedure avio_rl32()
  643. }
  644. 
  645. unsigned int avio_rl32(AVIOContext *s)
       ^
  646. {
  647.     unsigned int val;

libavformat/aviobuf.c:648:5: 
  646. {
  647.     unsigned int val;
  648.     val = avio_rl16(s);
           ^
  649.     val |= avio_rl16(s) << 16;
  650.     return val;

libavformat/aviobuf.c:629:1: start of procedure avio_rl16()
    627. }
    628. 
    629. unsigned int avio_rl16(AVIOContext *s)
         ^
    630. {
    631.     unsigned int val;

libavformat/aviobuf.c:632:5: 
    630. {
    631.     unsigned int val;
    632.     val = avio_r8(s);
             ^
    633.     val |= avio_r8(s) << 8;
    634.     return val;

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:633:5: 
    631.     unsigned int val;
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
             ^
    634.     return val;
    635. }

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:634:5: 
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
    634.     return val;
             ^
    635. }
    636. 

libavformat/aviobuf.c:635:1: return from a call to avio_rl16
    633.     val |= avio_r8(s) << 8;
    634.     return val;
    635. }
         ^
    636. 
    637. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:649:5: 
  647.     unsigned int val;
  648.     val = avio_rl16(s);
  649.     val |= avio_rl16(s) << 16;
           ^
  650.     return val;
  651. }

libavformat/aviobuf.c:629:1: start of procedure avio_rl16()
    627. }
    628. 
    629. unsigned int avio_rl16(AVIOContext *s)
         ^
    630. {
    631.     unsigned int val;

libavformat/aviobuf.c:632:5: 
    630. {
    631.     unsigned int val;
    632.     val = avio_r8(s);
             ^
    633.     val |= avio_r8(s) << 8;
    634.     return val;

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:633:5: 
    631.     unsigned int val;
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
             ^
    634.     return val;
    635. }

libavformat/aviobuf.c:539:1: start of procedure avio_r8()
      537. 
      538. /* XXX: put an inline version */
      539. int avio_r8(AVIOContext *s)
           ^
      540. {
      541.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:541:9: Taking false branch
      539. int avio_r8(AVIOContext *s)
      540. {
      541.     if (s->buf_ptr >= s->buf_end)
                   ^
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:543:9: Taking true branch
      541.     if (s->buf_ptr >= s->buf_end)
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
                   ^
      544.         return *s->buf_ptr++;
      545.     return 0;

libavformat/aviobuf.c:544:9: 
      542.         fill_buffer(s);
      543.     if (s->buf_ptr < s->buf_end)
      544.         return *s->buf_ptr++;
                   ^
      545.     return 0;
      546. }

libavformat/aviobuf.c:546:1: return from a call to avio_r8
      544.         return *s->buf_ptr++;
      545.     return 0;
      546. }
           ^
      547. 
      548. #if FF_API_OLD_AVIO

libavformat/aviobuf.c:634:5: 
    632.     val = avio_r8(s);
    633.     val |= avio_r8(s) << 8;
    634.     return val;
             ^
    635. }
    636. 

libavformat/aviobuf.c:635:1: return from a call to avio_rl16
    633.     val |= avio_r8(s) << 8;
    634.     return val;
    635. }
         ^
    636. 
    637. unsigned int avio_rl24(AVIOContext *s)

libavformat/aviobuf.c:650:5: 
  648.     val = avio_rl16(s);
  649.     val |= avio_rl16(s) << 16;
  650.     return val;
           ^
  651. }
  652. 

libavformat/aviobuf.c:651:1: return from a call to avio_rl32
  649.     val |= avio_rl16(s) << 16;
  650.     return val;
  651. }
       ^
  652. 
  653. uint64_t avio_rl64(AVIOContext *s)

libavformat/nsvdec.c:299:9: 
297.     av_dlog(s, "NSV NSVf info-strings size: %d, table entries: %d, bis %d\n",
298.             strings_size, table_entries, table_entries_used);
299.     if (url_feof(pb))
             ^
300.         return -1;
301. 

libavformat/aviobuf.c:268:1: start of procedure url_feof()
  266. }
  267. 
  268. int url_feof(AVIOContext *s)
       ^
  269. {
  270.     if(!s)

libavformat/aviobuf.c:270:9: Taking false branch
  268. int url_feof(AVIOContext *s)
  269. {
  270.     if(!s)
               ^
  271.         return 0;
  272.     return s->eof_reached;

libavformat/aviobuf.c:272:5: 
  270.     if(!s)
  271.         return 0;
  272.     return s->eof_reached;
           ^
  273. }
  274. 

libavformat/aviobuf.c:273:1: return from a call to url_feof
  271.         return 0;
  272.     return s->eof_reached;
  273. }
       ^
  274. 
  275. int url_ferror(AVIOContext *s)

libavformat/nsvdec.c:299:9: Taking false branch
297.     av_dlog(s, "NSV NSVf info-strings size: %d, table entries: %d, bis %d\n",
298.             strings_size, table_entries, table_entries_used);
299.     if (url_feof(pb))
             ^
300.         return -1;
301. 

libavformat/nsvdec.c:304:9: Taking true branch
302.     av_dlog(s, "NSV got header; filepos %"PRId64"\n", avio_tell(pb));
303. 
304.     if (strings_size > 0) {
             ^
305.         char *strings; /* last byte will be '\0' to play safe with str*() */
306.         char *p, *endp;

libavformat/nsvdec.c:310:9: 
308.         char quote;
309. 
310.         p = strings = av_mallocz(strings_size + 1);
             ^
311.         endp = strings + strings_size;
312.         avio_read(pb, strings, strings_size);

libavutil/mem.c:156:1: start of procedure av_mallocz()
  154. }
  155. 
  156. void *av_mallocz(FF_INTERNAL_MEM_TYPE size)
       ^
  157. {
  158.     void *ptr = av_malloc(size);

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

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

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

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

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

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

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

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

libavutil/mem.c:162:1: return from a call to av_mallocz
  160.         memset(ptr, 0, size);
  161.     return ptr;
  162. }
       ^
  163. 
  164. char *av_strdup(const char *s)

libavformat/nsvdec.c:311:9: 
309. 
310.         p = strings = av_mallocz(strings_size + 1);
311.         endp = strings + strings_size;
             ^
312.         avio_read(pb, strings, strings_size);
313.         while (p < endp) {

libavformat/nsvdec.c:312:9: Skipping avio_read(): empty list of specs
310.         p = strings = av_mallocz(strings_size + 1);
311.         endp = strings + strings_size;
312.         avio_read(pb, strings, strings_size);
             ^
313.         while (p < endp) {
314.             while (*p == ' ')

libavformat/nsvdec.c:313:16: Loop condition is true. Entering loop body
311.         endp = strings + strings_size;
312.         avio_read(pb, strings, strings_size);
313.         while (p < endp) {
                    ^
314.             while (*p == ' ')
315.                 p++; /* strip out spaces */

libavformat/nsvdec.c:314:20: 
312.         avio_read(pb, strings, strings_size);
313.         while (p < endp) {
314.             while (*p == ' ')
                        ^
315.                 p++; /* strip out spaces */
316.             if (p >= endp-2)

static int nsv_parse_NSVf_header(AVFormatContext *s, AVFormatParameters *ap)
{
    NSVContext *nsv = s->priv_data;
    AVIOContext *pb = s->pb;
    unsigned int file_size, size;
    int64_t duration;
    int strings_size;
    int table_entries;
    int table_entries_used;
    av_dlog(s, "%s()\n", __FUNCTION__);
    nsv->state = NSV_UNSYNC;
    size = avio_rl32(pb);
    if (size < 28)
        return -1;
    nsv->NSVf_end = size;
    file_size = (uint32_t)avio_rl32(pb);
    av_dlog(s, "NSV NSVf chunk_size %u\n", size);
    av_dlog(s, "NSV NSVf file_size %u\n", file_size);
    nsv->duration = duration = avio_rl32(pb);
    av_dlog(s, "NSV NSVf duration %"PRId64" ms\n", duration);
    strings_size = avio_rl32(pb);
    table_entries = avio_rl32(pb);
    table_entries_used = avio_rl32(pb);
    av_dlog(s, "NSV NSVf info-strings size: %d, table entries: %d, bis %d\n",
            strings_size, table_entries, table_entries_used);
    if (url_feof(pb))
        return -1;
    av_dlog(s, "NSV got header; filepos %"PRId64"\n", avio_tell(pb));
    if (strings_size > 0) {
        char *strings;
        char *p, *endp;
        char *token, *value;
        char quote;
        p = strings = av_mallocz(strings_size + 1);
        endp = strings + strings_size;
        avio_read(pb, strings, strings_size);
        while (p < endp) {
            while (*p == ' ')
                p++;
            if (p >= endp-2)
                break;
            token = p;
            p = strchr(p, '=');
            if (!p || p >= endp-2)
                break;
            *p++ = '\0';
            quote = *p++;
            value = p;
            p = strchr(p, quote);
            if (!p || p >= endp)
                break;
            *p++ = '\0';
            av_dlog(s, "NSV NSVf INFO: %s='%s'\n", token, value);
            av_metadata_set2(&s->metadata, token, value, 0);
        }
        av_free(strings);
    }
    if (url_feof(pb))
        return -1;
    av_dlog(s, "NSV got infos; filepos %"PRId64"\n", avio_tell(pb));
    if (table_entries_used > 0) {
        int i;
        nsv->index_entries = table_entries_used;
        if((unsigned)table_entries_used >= UINT_MAX / sizeof(uint32_t))
            return -1;
        nsv->nsvs_file_offset = av_malloc((unsigned)table_entries_used * sizeof(uint32_t));
        for(i=0;i<table_entries_used;i++)
            nsv->nsvs_file_offset[i] = avio_rl32(pb) + size;
        if(table_entries > table_entries_used &&
           avio_rl32(pb) == MKTAG('T','O','C','2')) {
            nsv->nsvs_timestamps = av_malloc((unsigned)table_entries_used*sizeof(uint32_t));
            for(i=0;i<table_entries_used;i++) {
                nsv->nsvs_timestamps[i] = avio_rl32(pb);
            }
        }
    }
    av_dlog(s, "NSV got index; filepos %"PRId64"\n", avio_tell(pb));
#ifdef DEBUG_DUMP_INDEX
#define V(v) ((v<0x20 || v > 127)?'.':v)
    av_dlog(s, "NSV %d INDEX ENTRIES:\n", table_entries);
    av_dlog(s, "NSV [dataoffset][fileoffset]\n", table_entries);
    for (i = 0; i < table_entries; i++) {
        unsigned char b[8];
        avio_seek(pb, size + nsv->nsvs_file_offset[i], SEEK_SET);
        avio_read(pb, b, 8);
        av_dlog(s, "NSV [0x%08lx][0x%08lx]: %02x %02x %02x %02x %02x %02x %02x %02x"
           "%c%c%c%c%c%c%c%c\n",
           nsv->nsvs_file_offset[i], size + nsv->nsvs_file_offset[i],
           b[0], b[1], b[2], b[3], b[4], b[5], b[6], b[7],
           V(b[0]), V(b[1]), V(b[2]), V(b[3]), V(b[4]), V(b[5]), V(b[6]), V(b[7]) );
    }
#undef V
#endif
    avio_seek(pb, nsv->base_offset + size, SEEK_SET);
    if (url_feof(pb))
        return -1;
    nsv->state = NSV_HAS_READ_NSVF;
    return 0;
}
['static int nsv_parse_NSVf_header(AVFormatContext *s, AVFormatParameters *ap)\n{\n    NSVContext *nsv = s->priv_data;\n    AVIOContext *pb = s->pb;\n    unsigned int file_size, size;\n    int64_t duration;\n    int strings_size;\n    int table_entries;\n    int table_entries_used;\n    av_dlog(s, "%s()\\n", __FUNCTION__);\n    nsv->state = NSV_UNSYNC;\n    size = avio_rl32(pb);\n    if (size < 28)\n        return -1;\n    nsv->NSVf_end = size;\n    file_size = (uint32_t)avio_rl32(pb);\n    av_dlog(s, "NSV NSVf chunk_size %u\\n", size);\n    av_dlog(s, "NSV NSVf file_size %u\\n", file_size);\n    nsv->duration = duration = avio_rl32(pb);\n    av_dlog(s, "NSV NSVf duration %"PRId64" ms\\n", duration);\n    strings_size = avio_rl32(pb);\n    table_entries = avio_rl32(pb);\n    table_entries_used = avio_rl32(pb);\n    av_dlog(s, "NSV NSVf info-strings size: %d, table entries: %d, bis %d\\n",\n            strings_size, table_entries, table_entries_used);\n    if (url_feof(pb))\n        return -1;\n    av_dlog(s, "NSV got header; filepos %"PRId64"\\n", avio_tell(pb));\n    if (strings_size > 0) {\n        char *strings;\n        char *p, *endp;\n        char *token, *value;\n        char quote;\n        p = strings = av_mallocz(strings_size + 1);\n        endp = strings + strings_size;\n        avio_read(pb, strings, strings_size);\n        while (p < endp) {\n            while (*p == \' \')\n                p++;\n            if (p >= endp-2)\n                break;\n            token = p;\n            p = strchr(p, \'=\');\n            if (!p || p >= endp-2)\n                break;\n            *p++ = \'\\0\';\n            quote = *p++;\n            value = p;\n            p = strchr(p, quote);\n            if (!p || p >= endp)\n                break;\n            *p++ = \'\\0\';\n            av_dlog(s, "NSV NSVf INFO: %s=\'%s\'\\n", token, value);\n            av_metadata_set2(&s->metadata, token, value, 0);\n        }\n        av_free(strings);\n    }\n    if (url_feof(pb))\n        return -1;\n    av_dlog(s, "NSV got infos; filepos %"PRId64"\\n", avio_tell(pb));\n    if (table_entries_used > 0) {\n        int i;\n        nsv->index_entries = table_entries_used;\n        if((unsigned)table_entries_used >= UINT_MAX / sizeof(uint32_t))\n            return -1;\n        nsv->nsvs_file_offset = av_malloc((unsigned)table_entries_used * sizeof(uint32_t));\n        for(i=0;i<table_entries_used;i++)\n            nsv->nsvs_file_offset[i] = avio_rl32(pb) + size;\n        if(table_entries > table_entries_used &&\n           avio_rl32(pb) == MKTAG(\'T\',\'O\',\'C\',\'2\')) {\n            nsv->nsvs_timestamps = av_malloc((unsigned)table_entries_used*sizeof(uint32_t));\n            for(i=0;i<table_entries_used;i++) {\n                nsv->nsvs_timestamps[i] = avio_rl32(pb);\n            }\n        }\n    }\n    av_dlog(s, "NSV got index; filepos %"PRId64"\\n", avio_tell(pb));\n#ifdef DEBUG_DUMP_INDEX\n#define V(v) ((v<0x20 || v > 127)?\'.\':v)\n    av_dlog(s, "NSV %d INDEX ENTRIES:\\n", table_entries);\n    av_dlog(s, "NSV [dataoffset][fileoffset]\\n", table_entries);\n    for (i = 0; i < table_entries; i++) {\n        unsigned char b[8];\n        avio_seek(pb, size + nsv->nsvs_file_offset[i], SEEK_SET);\n        avio_read(pb, b, 8);\n        av_dlog(s, "NSV [0x%08lx][0x%08lx]: %02x %02x %02x %02x %02x %02x %02x %02x"\n           "%c%c%c%c%c%c%c%c\\n",\n           nsv->nsvs_file_offset[i], size + nsv->nsvs_file_offset[i],\n           b[0], b[1], b[2], b[3], b[4], b[5], b[6], b[7],\n           V(b[0]), V(b[1]), V(b[2]), V(b[3]), V(b[4]), V(b[5]), V(b[6]), V(b[7]) );\n    }\n#undef V\n#endif\n    avio_seek(pb, nsv->base_offset + size, SEEK_SET);\n    if (url_feof(pb))\n        return -1;\n    nsv->state = NSV_HAS_READ_NSVF;\n    return 0;\n}', 'unsigned int avio_rl32(AVIOContext *s)\n{\n    unsigned int val;\n    val = avio_rl16(s);\n    val |= avio_rl16(s) << 16;\n    return val;\n}', 'unsigned int avio_rl16(AVIOContext *s)\n{\n    unsigned int val;\n    val = avio_r8(s);\n    val |= avio_r8(s) << 8;\n    return val;\n}', 'int avio_r8(AVIOContext *s)\n{\n    if (s->buf_ptr >= s->buf_end)\n        fill_buffer(s);\n    if (s->buf_ptr < s->buf_end)\n        return *s->buf_ptr++;\n    return 0;\n}', 'int url_feof(AVIOContext *s)\n{\n    if(!s)\n        return 0;\n    return s->eof_reached;\n}', 'void *av_mallocz(FF_INTERNAL_MEM_TYPE size)\n{\n    void *ptr = av_malloc(size);\n    if (ptr)\n        memset(ptr, 0, size);\n    return ptr;\n}', 'void *av_malloc(FF_INTERNAL_MEM_TYPE size)\n{\n    void *ptr = NULL;\n#if CONFIG_MEMALIGN_HACK\n    long diff;\n#endif\n    if(size > (INT_MAX-16) )\n        return NULL;\n#if CONFIG_MEMALIGN_HACK\n    ptr = malloc(size+16);\n    if(!ptr)\n        return ptr;\n    diff= ((-(long)ptr - 1)&15) + 1;\n    ptr = (char*)ptr + diff;\n    ((char*)ptr)[-1]= diff;\n#elif HAVE_POSIX_MEMALIGN\n    if (posix_memalign(&ptr,16,size))\n        ptr = NULL;\n#elif HAVE_MEMALIGN\n    ptr = memalign(16,size);\n#else\n    ptr = malloc(size);\n#endif\n    return ptr;\n}']