libavformat/nutdec.c:490: error: Integer Overflow L1
  ([-oo, -8] - [0, +oo]):unsigned64.

libavformat/nutdec.c:484:30: <LHS trace>
482.     int64_t end, tmp;
483. 
484.     nut->last_syncpoint_pos= avio_tell(bc)-8;
                                  ^
485. 
486.     end= get_packetheader(nut, bc, 1, SYNCPOINT_STARTCODE);

libavformat/nutdec.c:484:30: Call
482.     int64_t end, tmp;
483. 
484.     nut->last_syncpoint_pos= avio_tell(bc)-8;
                                  ^
485. 
486.     end= get_packetheader(nut, bc, 1, SYNCPOINT_STARTCODE);

libavformat/avio.h:507:12: Call
  505. static av_always_inline int64_t avio_tell(AVIOContext *s)
  506. {
  507.     return avio_seek(s, 0, SEEK_CUR);
                  ^
  508. }
  509. 

libavformat/aviobuf.c:187:9: Assignment
    185. 
    186.     if(!s)
    187.         return AVERROR(EINVAL);
                 ^
    188. 
    189.     pos = s->pos - (s->write_flag ? 0 : (s->buf_end - s->buffer));

libavformat/avio.h:507:5: Assignment
  505. static av_always_inline int64_t avio_tell(AVIOContext *s)
  506. {
  507.     return avio_seek(s, 0, SEEK_CUR);
           ^
  508. }
  509. 

libavformat/nutdec.c:484:5: Assignment
482.     int64_t end, tmp;
483. 
484.     nut->last_syncpoint_pos= avio_tell(bc)-8;
         ^
485. 
486.     end= get_packetheader(nut, bc, 1, SYNCPOINT_STARTCODE);

libavformat/nutdec.c:490:45: <RHS trace>
488. 
489.     tmp= ffio_read_varlen(bc);
490.     *back_ptr= nut->last_syncpoint_pos - 16*ffio_read_varlen(bc);
                                                 ^
491.     if(*back_ptr < 0)
492.         return -1;

libavformat/nutdec.c:490:45: Call
488. 
489.     tmp= ffio_read_varlen(bc);
490.     *back_ptr= nut->last_syncpoint_pos - 16*ffio_read_varlen(bc);
                                                 ^
491.     if(*back_ptr < 0)
492.         return -1;

libavformat/aviobuf.c:777:5: Assignment
  775. 
  776. uint64_t ffio_read_varlen(AVIOContext *bc){
  777.     uint64_t val = 0;
           ^
  778.     int tmp;
  779. 

libavformat/aviobuf.c:782:9: Assignment
  780.     do{
  781.         tmp = avio_r8(bc);
  782.         val= (val<<7) + (tmp&127);
               ^
  783.     }while(tmp&128);
  784.     return val;

libavformat/aviobuf.c:784:5: Assignment
  782.         val= (val<<7) + (tmp&127);
  783.     }while(tmp&128);
  784.     return val;
           ^
  785. }
  786. 

libavformat/nutdec.c:490:5: Binary operation: ([-oo, -8] - [0, +oo]):unsigned64
488. 
489.     tmp= ffio_read_varlen(bc);
490.     *back_ptr= nut->last_syncpoint_pos - 16*ffio_read_varlen(bc);
         ^
491.     if(*back_ptr < 0)
492.         return -1;
