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

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 false 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:334:9: 
332.         av_free(strings);
333.     }
334.     if (url_feof(pb))
             ^
335.         return -1;
336. 

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:334:9: Taking false branch
332.         av_free(strings);
333.     }
334.     if (url_feof(pb))
             ^
335.         return -1;
336. 

libavformat/nsvdec.c:339:9: Taking true branch
337.     av_dlog(s, "NSV got infos; filepos %"PRId64"\n", avio_tell(pb));
338. 
339.     if (table_entries_used > 0) {
             ^
340.         int i;
341.         nsv->index_entries = table_entries_used;

libavformat/nsvdec.c:341:9: 
339.     if (table_entries_used > 0) {
340.         int i;
341.         nsv->index_entries = table_entries_used;
             ^
342.         if((unsigned)table_entries_used >= UINT_MAX / sizeof(uint32_t))
343.             return -1;

libavformat/nsvdec.c:342:12: Taking false branch
340.         int i;
341.         nsv->index_entries = table_entries_used;
342.         if((unsigned)table_entries_used >= UINT_MAX / sizeof(uint32_t))
                ^
343.             return -1;
344.         nsv->nsvs_file_offset = av_malloc((unsigned)table_entries_used * sizeof(uint32_t));

libavformat/nsvdec.c:344:9: 
342.         if((unsigned)table_entries_used >= UINT_MAX / sizeof(uint32_t))
343.             return -1;
344.         nsv->nsvs_file_offset = av_malloc((unsigned)table_entries_used * sizeof(uint32_t));
             ^
345. 
346.         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(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)

libavformat/nsvdec.c:346:13: 
344.         nsv->nsvs_file_offset = av_malloc((unsigned)table_entries_used * sizeof(uint32_t));
345. 
346.         for(i=0;i<table_entries_used;i++)
                 ^
347.             nsv->nsvs_file_offset[i] = avio_rl32(pb) + size;
348. 

libavformat/nsvdec.c:346:17: Loop condition is true. Entering loop body
344.         nsv->nsvs_file_offset = av_malloc((unsigned)table_entries_used * sizeof(uint32_t));
345. 
346.         for(i=0;i<table_entries_used;i++)
                     ^
347.             nsv->nsvs_file_offset[i] = avio_rl32(pb) + size;
348. 

libavformat/nsvdec.c:347:13: 
345. 
346.         for(i=0;i<table_entries_used;i++)
347.             nsv->nsvs_file_offset[i] = avio_rl32(pb) + size;
                 ^
348. 
349.         if(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)
