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

libavformat/nsvdec.c:278:1: start of procedure nsv_parse_NSVf_header()
276. }
277. 
278. static int nsv_parse_NSVf_header(AVFormatContext *s, AVFormatParameters *ap)
     ^
279. {
280.     NSVContext *nsv = s->priv_data;

libavformat/nsvdec.c:280:5: 
278. static int nsv_parse_NSVf_header(AVFormatContext *s, AVFormatParameters *ap)
279. {
280.     NSVContext *nsv = s->priv_data;
         ^
281.     ByteIOContext *pb = s->pb;
282.     unsigned int file_size, size;

libavformat/nsvdec.c:281:5: 
279. {
280.     NSVContext *nsv = s->priv_data;
281.     ByteIOContext *pb = s->pb;
         ^
282.     unsigned int file_size, size;
283.     int64_t duration;

libavformat/nsvdec.c:290:5: 
288.     PRINT(("%s()\n", __FUNCTION__));
289. 
290.     nsv->state = NSV_UNSYNC; /* in case we fail */
         ^
291. 
292.     size = get_le32(pb);

libavformat/nsvdec.c:292:5: 
290.     nsv->state = NSV_UNSYNC; /* in case we fail */
291. 
292.     size = get_le32(pb);
         ^
293.     if (size < 28)
294.         return -1;

libavformat/aviobuf.c:495:1: start of procedure get_le32()
  493. }
  494. 
  495. unsigned int get_le32(ByteIOContext *s)
       ^
  496. {
  497.     unsigned int val;

libavformat/aviobuf.c:498:5: 
  496. {
  497.     unsigned int val;
  498.     val = get_le16(s);
           ^
  499.     val |= get_le16(s) << 16;
  500.     return val;

libavformat/aviobuf.c:479:1: start of procedure get_le16()
    477. }
    478. 
    479. unsigned int get_le16(ByteIOContext *s)
         ^
    480. {
    481.     unsigned int val;

libavformat/aviobuf.c:482:5: 
    480. {
    481.     unsigned int val;
    482.     val = get_byte(s);
             ^
    483.     val |= get_byte(s) << 8;
    484.     return val;

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:483:5: 
    481.     unsigned int val;
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
             ^
    484.     return val;
    485. }

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:484:5: 
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
    484.     return val;
             ^
    485. }
    486. 

libavformat/aviobuf.c:485:1: return from a call to get_le16
    483.     val |= get_byte(s) << 8;
    484.     return val;
    485. }
         ^
    486. 
    487. unsigned int get_le24(ByteIOContext *s)

libavformat/aviobuf.c:499:5: 
  497.     unsigned int val;
  498.     val = get_le16(s);
  499.     val |= get_le16(s) << 16;
           ^
  500.     return val;
  501. }

libavformat/aviobuf.c:479:1: start of procedure get_le16()
    477. }
    478. 
    479. unsigned int get_le16(ByteIOContext *s)
         ^
    480. {
    481.     unsigned int val;

libavformat/aviobuf.c:482:5: 
    480. {
    481.     unsigned int val;
    482.     val = get_byte(s);
             ^
    483.     val |= get_byte(s) << 8;
    484.     return val;

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:483:5: 
    481.     unsigned int val;
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
             ^
    484.     return val;
    485. }

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:484:5: 
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
    484.     return val;
             ^
    485. }
    486. 

libavformat/aviobuf.c:485:1: return from a call to get_le16
    483.     val |= get_byte(s) << 8;
    484.     return val;
    485. }
         ^
    486. 
    487. unsigned int get_le24(ByteIOContext *s)

libavformat/aviobuf.c:500:5: 
  498.     val = get_le16(s);
  499.     val |= get_le16(s) << 16;
  500.     return val;
           ^
  501. }
  502. 

libavformat/aviobuf.c:501:1: return from a call to get_le32
  499.     val |= get_le16(s) << 16;
  500.     return val;
  501. }
       ^
  502. 
  503. uint64_t get_le64(ByteIOContext *s)

libavformat/nsvdec.c:293:9: Taking false branch
291. 
292.     size = get_le32(pb);
293.     if (size < 28)
             ^
294.         return -1;
295.     nsv->NSVf_end = size;

libavformat/nsvdec.c:295:5: 
293.     if (size < 28)
294.         return -1;
295.     nsv->NSVf_end = size;
         ^
296. 
297.     //s->file_size = (uint32_t)get_le32(pb);

libavformat/nsvdec.c:298:5: 
296. 
297.     //s->file_size = (uint32_t)get_le32(pb);
298.     file_size = (uint32_t)get_le32(pb);
         ^
299.     PRINT(("NSV NSVf chunk_size %u\n", size));
300.     PRINT(("NSV NSVf file_size %u\n", file_size));

libavformat/aviobuf.c:495:1: start of procedure get_le32()
  493. }
  494. 
  495. unsigned int get_le32(ByteIOContext *s)
       ^
  496. {
  497.     unsigned int val;

libavformat/aviobuf.c:498:5: 
  496. {
  497.     unsigned int val;
  498.     val = get_le16(s);
           ^
  499.     val |= get_le16(s) << 16;
  500.     return val;

libavformat/aviobuf.c:479:1: start of procedure get_le16()
    477. }
    478. 
    479. unsigned int get_le16(ByteIOContext *s)
         ^
    480. {
    481.     unsigned int val;

libavformat/aviobuf.c:482:5: 
    480. {
    481.     unsigned int val;
    482.     val = get_byte(s);
             ^
    483.     val |= get_byte(s) << 8;
    484.     return val;

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:483:5: 
    481.     unsigned int val;
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
             ^
    484.     return val;
    485. }

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:484:5: 
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
    484.     return val;
             ^
    485. }
    486. 

libavformat/aviobuf.c:485:1: return from a call to get_le16
    483.     val |= get_byte(s) << 8;
    484.     return val;
    485. }
         ^
    486. 
    487. unsigned int get_le24(ByteIOContext *s)

libavformat/aviobuf.c:499:5: 
  497.     unsigned int val;
  498.     val = get_le16(s);
  499.     val |= get_le16(s) << 16;
           ^
  500.     return val;
  501. }

libavformat/aviobuf.c:479:1: start of procedure get_le16()
    477. }
    478. 
    479. unsigned int get_le16(ByteIOContext *s)
         ^
    480. {
    481.     unsigned int val;

libavformat/aviobuf.c:482:5: 
    480. {
    481.     unsigned int val;
    482.     val = get_byte(s);
             ^
    483.     val |= get_byte(s) << 8;
    484.     return val;

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:483:5: 
    481.     unsigned int val;
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
             ^
    484.     return val;
    485. }

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:484:5: 
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
    484.     return val;
             ^
    485. }
    486. 

libavformat/aviobuf.c:485:1: return from a call to get_le16
    483.     val |= get_byte(s) << 8;
    484.     return val;
    485. }
         ^
    486. 
    487. unsigned int get_le24(ByteIOContext *s)

libavformat/aviobuf.c:500:5: 
  498.     val = get_le16(s);
  499.     val |= get_le16(s) << 16;
  500.     return val;
           ^
  501. }
  502. 

libavformat/aviobuf.c:501:1: return from a call to get_le32
  499.     val |= get_le16(s) << 16;
  500.     return val;
  501. }
       ^
  502. 
  503. uint64_t get_le64(ByteIOContext *s)

libavformat/nsvdec.c:302:5: 
300.     PRINT(("NSV NSVf file_size %u\n", file_size));
301. 
302.     nsv->duration = duration = get_le32(pb); /* in ms */
         ^
303.     PRINT(("NSV NSVf duration %"PRId64" ms\n", duration));
304.     // XXX: store it in AVStreams

libavformat/aviobuf.c:495:1: start of procedure get_le32()
  493. }
  494. 
  495. unsigned int get_le32(ByteIOContext *s)
       ^
  496. {
  497.     unsigned int val;

libavformat/aviobuf.c:498:5: 
  496. {
  497.     unsigned int val;
  498.     val = get_le16(s);
           ^
  499.     val |= get_le16(s) << 16;
  500.     return val;

libavformat/aviobuf.c:479:1: start of procedure get_le16()
    477. }
    478. 
    479. unsigned int get_le16(ByteIOContext *s)
         ^
    480. {
    481.     unsigned int val;

libavformat/aviobuf.c:482:5: 
    480. {
    481.     unsigned int val;
    482.     val = get_byte(s);
             ^
    483.     val |= get_byte(s) << 8;
    484.     return val;

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:483:5: 
    481.     unsigned int val;
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
             ^
    484.     return val;
    485. }

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:484:5: 
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
    484.     return val;
             ^
    485. }
    486. 

libavformat/aviobuf.c:485:1: return from a call to get_le16
    483.     val |= get_byte(s) << 8;
    484.     return val;
    485. }
         ^
    486. 
    487. unsigned int get_le24(ByteIOContext *s)

libavformat/aviobuf.c:499:5: 
  497.     unsigned int val;
  498.     val = get_le16(s);
  499.     val |= get_le16(s) << 16;
           ^
  500.     return val;
  501. }

libavformat/aviobuf.c:479:1: start of procedure get_le16()
    477. }
    478. 
    479. unsigned int get_le16(ByteIOContext *s)
         ^
    480. {
    481.     unsigned int val;

libavformat/aviobuf.c:482:5: 
    480. {
    481.     unsigned int val;
    482.     val = get_byte(s);
             ^
    483.     val |= get_byte(s) << 8;
    484.     return val;

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:483:5: 
    481.     unsigned int val;
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
             ^
    484.     return val;
    485. }

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:484:5: 
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
    484.     return val;
             ^
    485. }
    486. 

libavformat/aviobuf.c:485:1: return from a call to get_le16
    483.     val |= get_byte(s) << 8;
    484.     return val;
    485. }
         ^
    486. 
    487. unsigned int get_le24(ByteIOContext *s)

libavformat/aviobuf.c:500:5: 
  498.     val = get_le16(s);
  499.     val |= get_le16(s) << 16;
  500.     return val;
           ^
  501. }
  502. 

libavformat/aviobuf.c:501:1: return from a call to get_le32
  499.     val |= get_le16(s) << 16;
  500.     return val;
  501. }
       ^
  502. 
  503. uint64_t get_le64(ByteIOContext *s)

libavformat/nsvdec.c:306:5: 
304.     // XXX: store it in AVStreams
305. 
306.     strings_size = get_le32(pb);
         ^
307.     table_entries = get_le32(pb);
308.     table_entries_used = get_le32(pb);

libavformat/aviobuf.c:495:1: start of procedure get_le32()
  493. }
  494. 
  495. unsigned int get_le32(ByteIOContext *s)
       ^
  496. {
  497.     unsigned int val;

libavformat/aviobuf.c:498:5: 
  496. {
  497.     unsigned int val;
  498.     val = get_le16(s);
           ^
  499.     val |= get_le16(s) << 16;
  500.     return val;

libavformat/aviobuf.c:479:1: start of procedure get_le16()
    477. }
    478. 
    479. unsigned int get_le16(ByteIOContext *s)
         ^
    480. {
    481.     unsigned int val;

libavformat/aviobuf.c:482:5: 
    480. {
    481.     unsigned int val;
    482.     val = get_byte(s);
             ^
    483.     val |= get_byte(s) << 8;
    484.     return val;

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:483:5: 
    481.     unsigned int val;
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
             ^
    484.     return val;
    485. }

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:484:5: 
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
    484.     return val;
             ^
    485. }
    486. 

libavformat/aviobuf.c:485:1: return from a call to get_le16
    483.     val |= get_byte(s) << 8;
    484.     return val;
    485. }
         ^
    486. 
    487. unsigned int get_le24(ByteIOContext *s)

libavformat/aviobuf.c:499:5: 
  497.     unsigned int val;
  498.     val = get_le16(s);
  499.     val |= get_le16(s) << 16;
           ^
  500.     return val;
  501. }

libavformat/aviobuf.c:479:1: start of procedure get_le16()
    477. }
    478. 
    479. unsigned int get_le16(ByteIOContext *s)
         ^
    480. {
    481.     unsigned int val;

libavformat/aviobuf.c:482:5: 
    480. {
    481.     unsigned int val;
    482.     val = get_byte(s);
             ^
    483.     val |= get_byte(s) << 8;
    484.     return val;

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:483:5: 
    481.     unsigned int val;
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
             ^
    484.     return val;
    485. }

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:484:5: 
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
    484.     return val;
             ^
    485. }
    486. 

libavformat/aviobuf.c:485:1: return from a call to get_le16
    483.     val |= get_byte(s) << 8;
    484.     return val;
    485. }
         ^
    486. 
    487. unsigned int get_le24(ByteIOContext *s)

libavformat/aviobuf.c:500:5: 
  498.     val = get_le16(s);
  499.     val |= get_le16(s) << 16;
  500.     return val;
           ^
  501. }
  502. 

libavformat/aviobuf.c:501:1: return from a call to get_le32
  499.     val |= get_le16(s) << 16;
  500.     return val;
  501. }
       ^
  502. 
  503. uint64_t get_le64(ByteIOContext *s)

libavformat/nsvdec.c:307:5: 
305. 
306.     strings_size = get_le32(pb);
307.     table_entries = get_le32(pb);
         ^
308.     table_entries_used = get_le32(pb);
309.     PRINT(("NSV NSVf info-strings size: %d, table entries: %d, bis %d\n",

libavformat/aviobuf.c:495:1: start of procedure get_le32()
  493. }
  494. 
  495. unsigned int get_le32(ByteIOContext *s)
       ^
  496. {
  497.     unsigned int val;

libavformat/aviobuf.c:498:5: 
  496. {
  497.     unsigned int val;
  498.     val = get_le16(s);
           ^
  499.     val |= get_le16(s) << 16;
  500.     return val;

libavformat/aviobuf.c:479:1: start of procedure get_le16()
    477. }
    478. 
    479. unsigned int get_le16(ByteIOContext *s)
         ^
    480. {
    481.     unsigned int val;

libavformat/aviobuf.c:482:5: 
    480. {
    481.     unsigned int val;
    482.     val = get_byte(s);
             ^
    483.     val |= get_byte(s) << 8;
    484.     return val;

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:483:5: 
    481.     unsigned int val;
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
             ^
    484.     return val;
    485. }

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:484:5: 
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
    484.     return val;
             ^
    485. }
    486. 

libavformat/aviobuf.c:485:1: return from a call to get_le16
    483.     val |= get_byte(s) << 8;
    484.     return val;
    485. }
         ^
    486. 
    487. unsigned int get_le24(ByteIOContext *s)

libavformat/aviobuf.c:499:5: 
  497.     unsigned int val;
  498.     val = get_le16(s);
  499.     val |= get_le16(s) << 16;
           ^
  500.     return val;
  501. }

libavformat/aviobuf.c:479:1: start of procedure get_le16()
    477. }
    478. 
    479. unsigned int get_le16(ByteIOContext *s)
         ^
    480. {
    481.     unsigned int val;

libavformat/aviobuf.c:482:5: 
    480. {
    481.     unsigned int val;
    482.     val = get_byte(s);
             ^
    483.     val |= get_byte(s) << 8;
    484.     return val;

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:483:5: 
    481.     unsigned int val;
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
             ^
    484.     return val;
    485. }

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:484:5: 
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
    484.     return val;
             ^
    485. }
    486. 

libavformat/aviobuf.c:485:1: return from a call to get_le16
    483.     val |= get_byte(s) << 8;
    484.     return val;
    485. }
         ^
    486. 
    487. unsigned int get_le24(ByteIOContext *s)

libavformat/aviobuf.c:500:5: 
  498.     val = get_le16(s);
  499.     val |= get_le16(s) << 16;
  500.     return val;
           ^
  501. }
  502. 

libavformat/aviobuf.c:501:1: return from a call to get_le32
  499.     val |= get_le16(s) << 16;
  500.     return val;
  501. }
       ^
  502. 
  503. uint64_t get_le64(ByteIOContext *s)

libavformat/nsvdec.c:308:5: 
306.     strings_size = get_le32(pb);
307.     table_entries = get_le32(pb);
308.     table_entries_used = get_le32(pb);
         ^
309.     PRINT(("NSV NSVf info-strings size: %d, table entries: %d, bis %d\n",
310.             strings_size, table_entries, table_entries_used));

libavformat/aviobuf.c:495:1: start of procedure get_le32()
  493. }
  494. 
  495. unsigned int get_le32(ByteIOContext *s)
       ^
  496. {
  497.     unsigned int val;

libavformat/aviobuf.c:498:5: 
  496. {
  497.     unsigned int val;
  498.     val = get_le16(s);
           ^
  499.     val |= get_le16(s) << 16;
  500.     return val;

libavformat/aviobuf.c:479:1: start of procedure get_le16()
    477. }
    478. 
    479. unsigned int get_le16(ByteIOContext *s)
         ^
    480. {
    481.     unsigned int val;

libavformat/aviobuf.c:482:5: 
    480. {
    481.     unsigned int val;
    482.     val = get_byte(s);
             ^
    483.     val |= get_byte(s) << 8;
    484.     return val;

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:483:5: 
    481.     unsigned int val;
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
             ^
    484.     return val;
    485. }

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:484:5: 
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
    484.     return val;
             ^
    485. }
    486. 

libavformat/aviobuf.c:485:1: return from a call to get_le16
    483.     val |= get_byte(s) << 8;
    484.     return val;
    485. }
         ^
    486. 
    487. unsigned int get_le24(ByteIOContext *s)

libavformat/aviobuf.c:499:5: 
  497.     unsigned int val;
  498.     val = get_le16(s);
  499.     val |= get_le16(s) << 16;
           ^
  500.     return val;
  501. }

libavformat/aviobuf.c:479:1: start of procedure get_le16()
    477. }
    478. 
    479. unsigned int get_le16(ByteIOContext *s)
         ^
    480. {
    481.     unsigned int val;

libavformat/aviobuf.c:482:5: 
    480. {
    481.     unsigned int val;
    482.     val = get_byte(s);
             ^
    483.     val |= get_byte(s) << 8;
    484.     return val;

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:483:5: 
    481.     unsigned int val;
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
             ^
    484.     return val;
    485. }

libavformat/aviobuf.c:391:1: start of procedure get_byte()
      389. 
      390. /* XXX: put an inline version */
      391. int get_byte(ByteIOContext *s)
           ^
      392. {
      393.     if (s->buf_ptr >= s->buf_end)

libavformat/aviobuf.c:393:9: Taking false branch
      391. int get_byte(ByteIOContext *s)
      392. {
      393.     if (s->buf_ptr >= s->buf_end)
                   ^
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)

libavformat/aviobuf.c:395:9: Taking true branch
      393.     if (s->buf_ptr >= s->buf_end)
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
                   ^
      396.         return *s->buf_ptr++;
      397.     return 0;

libavformat/aviobuf.c:396:9: 
      394.         fill_buffer(s);
      395.     if (s->buf_ptr < s->buf_end)
      396.         return *s->buf_ptr++;
                   ^
      397.     return 0;
      398. }

libavformat/aviobuf.c:398:1: return from a call to get_byte
      396.         return *s->buf_ptr++;
      397.     return 0;
      398. }
           ^
      399. 
      400. int url_fgetc(ByteIOContext *s)

libavformat/aviobuf.c:484:5: 
    482.     val = get_byte(s);
    483.     val |= get_byte(s) << 8;
    484.     return val;
             ^
    485. }
    486. 

libavformat/aviobuf.c:485:1: return from a call to get_le16
    483.     val |= get_byte(s) << 8;
    484.     return val;
    485. }
         ^
    486. 
    487. unsigned int get_le24(ByteIOContext *s)

libavformat/aviobuf.c:500:5: 
  498.     val = get_le16(s);
  499.     val |= get_le16(s) << 16;
  500.     return val;
           ^
  501. }
  502. 

libavformat/aviobuf.c:501:1: return from a call to get_le32
  499.     val |= get_le16(s) << 16;
  500.     return val;
  501. }
       ^
  502. 
  503. uint64_t get_le64(ByteIOContext *s)

libavformat/nsvdec.c:311:9: 
309.     PRINT(("NSV NSVf info-strings size: %d, table entries: %d, bis %d\n",
310.             strings_size, table_entries, table_entries_used));
311.     if (url_feof(pb))
             ^
312.         return -1;
313. 

libavformat/aviobuf.c:224:1: start of procedure url_feof()
  222. }
  223. 
  224. int url_feof(ByteIOContext *s)
       ^
  225. {
  226.     if(!s)

libavformat/aviobuf.c:226:9: Taking false branch
  224. int url_feof(ByteIOContext *s)
  225. {
  226.     if(!s)
               ^
  227.         return 0;
  228.     return s->eof_reached;

libavformat/aviobuf.c:228:5: 
  226.     if(!s)
  227.         return 0;
  228.     return s->eof_reached;
           ^
  229. }
  230. 

libavformat/aviobuf.c:229:1: return from a call to url_feof
  227.         return 0;
  228.     return s->eof_reached;
  229. }
       ^
  230. 
  231. int url_ferror(ByteIOContext *s)

libavformat/nsvdec.c:311:9: Taking false branch
309.     PRINT(("NSV NSVf info-strings size: %d, table entries: %d, bis %d\n",
310.             strings_size, table_entries, table_entries_used));
311.     if (url_feof(pb))
             ^
312.         return -1;
313. 

libavformat/nsvdec.c:316:9: Taking true branch
314.     PRINT(("NSV got header; filepos %"PRId64"\n", url_ftell(pb)));
315. 
316.     if (strings_size > 0) {
             ^
317.         char *strings; /* last byte will be '\0' to play safe with str*() */
318.         char *p, *endp;

libavformat/nsvdec.c:322:9: 
320.         char quote;
321. 
322.         p = strings = av_mallocz(strings_size + 1);
             ^
323.         endp = strings + strings_size;
324.         get_buffer(pb, strings, strings_size);

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

libavutil/mem.c:159:5: 
  157. void *av_mallocz(FF_INTERNAL_MEM_TYPE size)
  158. {
  159.     void *ptr = av_malloc(size);
           ^
  160.     if (ptr)
  161.         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:160:9: Taking false branch
  158. {
  159.     void *ptr = av_malloc(size);
  160.     if (ptr)
               ^
  161.         memset(ptr, 0, size);
  162.     return ptr;

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

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

libavformat/nsvdec.c:323:9: 
321. 
322.         p = strings = av_mallocz(strings_size + 1);
323.         endp = strings + strings_size;
             ^
324.         get_buffer(pb, strings, strings_size);
325.         while (p < endp) {

libavformat/nsvdec.c:324:9: Skipping get_buffer(): empty list of specs
322.         p = strings = av_mallocz(strings_size + 1);
323.         endp = strings + strings_size;
324.         get_buffer(pb, strings, strings_size);
             ^
325.         while (p < endp) {
326.             while (*p == ' ')

libavformat/nsvdec.c:325:16: Loop condition is true. Entering loop body
323.         endp = strings + strings_size;
324.         get_buffer(pb, strings, strings_size);
325.         while (p < endp) {
                    ^
326.             while (*p == ' ')
327.                 p++; /* strip out spaces */

libavformat/nsvdec.c:326:20: 
324.         get_buffer(pb, strings, strings_size);
325.         while (p < endp) {
326.             while (*p == ' ')
                        ^
327.                 p++; /* strip out spaces */
328.             if (p >= endp-2)
