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

libavformat/nutdec.c:523:31: <LHS trace>
521.     int64_t end, tmp;
522. 
523.     nut->last_syncpoint_pos = avio_tell(bc) - 8;
                                   ^
524. 
525.     end  = get_packetheader(nut, bc, 1, SYNCPOINT_STARTCODE);

libavformat/nutdec.c:523:31: Call
521.     int64_t end, tmp;
522. 
523.     nut->last_syncpoint_pos = avio_tell(bc) - 8;
                                   ^
524. 
525.     end  = get_packetheader(nut, bc, 1, SYNCPOINT_STARTCODE);

libavformat/avio.h:221:12: Call
  219. static av_always_inline int64_t avio_tell(AVIOContext *s)
  220. {
  221.     return avio_seek(s, 0, SEEK_CUR);
                  ^
  222. }
  223. 

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

libavformat/avio.h:221:5: Assignment
  219. static av_always_inline int64_t avio_tell(AVIOContext *s)
  220. {
  221.     return avio_seek(s, 0, SEEK_CUR);
           ^
  222. }
  223. 

libavformat/nutdec.c:523:5: Assignment
521.     int64_t end, tmp;
522. 
523.     nut->last_syncpoint_pos = avio_tell(bc) - 8;
         ^
524. 
525.     end  = get_packetheader(nut, bc, 1, SYNCPOINT_STARTCODE);

libavformat/nutdec.c:529:48: <RHS trace>
527. 
528.     tmp       = ffio_read_varlen(bc);
529.     *back_ptr = nut->last_syncpoint_pos - 16 * ffio_read_varlen(bc);
                                                    ^
530.     if (*back_ptr < 0)
531.         return -1;

libavformat/nutdec.c:529:48: Call
527. 
528.     tmp       = ffio_read_varlen(bc);
529.     *back_ptr = nut->last_syncpoint_pos - 16 * ffio_read_varlen(bc);
                                                    ^
530.     if (*back_ptr < 0)
531.         return -1;

libavformat/aviobuf.c:626:5: Assignment
  624. 
  625. uint64_t ffio_read_varlen(AVIOContext *bc){
  626.     uint64_t val = 0;
           ^
  627.     int tmp;
  628. 

libavformat/aviobuf.c:631:9: Assignment
  629.     do{
  630.         tmp = avio_r8(bc);
  631.         val= (val<<7) + (tmp&127);
               ^
  632.     }while(tmp&128);
  633.     return val;

libavformat/aviobuf.c:633:5: Assignment
  631.         val= (val<<7) + (tmp&127);
  632.     }while(tmp&128);
  633.     return val;
           ^
  634. }
  635. 

libavformat/nutdec.c:529:5: Binary operation: ([-oo, -8] - [0, +oo]):unsigned64
527. 
528.     tmp       = ffio_read_varlen(bc);
529.     *back_ptr = nut->last_syncpoint_pos - 16 * ffio_read_varlen(bc);
         ^
530.     if (*back_ptr < 0)
531.         return -1;
