libavformat/raw.c:466: error: Integer Overflow L1
  ([4722366482869645213440, +oo] + `*p->buf`):unsigned64.

libavformat/raw.c:458:5: <LHS trace>
456. static int h263_probe(AVProbeData *p)
457. {
458.     uint64_t code= -1;
         ^
459.     int i;
460.     int valid_psc=0;

libavformat/raw.c:458:5: Assignment
456. static int h263_probe(AVProbeData *p)
457. {
458.     uint64_t code= -1;
         ^
459.     int i;
460.     int valid_psc=0;

libavformat/raw.c:456:1: <RHS trace>
454. 
455. #if CONFIG_H263_DEMUXER
456. static int h263_probe(AVProbeData *p)
     ^
457. {
458.     uint64_t code= -1;

libavformat/raw.c:456:1: Parameter `*p->buf`
454. 
455. #if CONFIG_H263_DEMUXER
456. static int h263_probe(AVProbeData *p)
     ^
457. {
458.     uint64_t code= -1;

libavformat/raw.c:466:9: Binary operation: ([4722366482869645213440, +oo] + *p->buf):unsigned64
464. 
465.     for(i=0; i<p->buf_size; i++){
466.         code = (code<<8) + p->buf[i];
             ^
467.         if ((code & 0xfffffc0000) == 0x800000) {
468.             src_fmt= (code>>2)&3;

static int h263_probe(AVProbeData *p)
{
    uint64_t code= -1;
    int i;
    int valid_psc=0;
    int invalid_psc=0;
    int res_change=0;
    int src_fmt, last_src_fmt=-1;
    for(i=0; i<p->buf_size; i++){
        code = (code<<8) + p->buf[i];
        if ((code & 0xfffffc0000) == 0x800000) {
            src_fmt= (code>>2)&3;
            if(   src_fmt != last_src_fmt
               && last_src_fmt>0 && last_src_fmt<6
               && src_fmt<6)
                res_change++;
            if((code&0x300)==0x200 && src_fmt){
                valid_psc++;
            }else
                invalid_psc++;
            last_src_fmt= src_fmt;
        }
    }
    if(valid_psc > 2*invalid_psc + 2*res_change + 2){
        return 50;
    }else if(valid_psc > 2*invalid_psc)
        return 25;
    return 0;
}
['static int h263_probe(AVProbeData *p)\n{\n    uint64_t code= -1;\n    int i;\n    int valid_psc=0;\n    int invalid_psc=0;\n    int res_change=0;\n    int src_fmt, last_src_fmt=-1;\n    for(i=0; i<p->buf_size; i++){\n        code = (code<<8) + p->buf[i];\n        if ((code & 0xfffffc0000) == 0x800000) {\n            src_fmt= (code>>2)&3;\n            if(   src_fmt != last_src_fmt\n               && last_src_fmt>0 && last_src_fmt<6\n               && src_fmt<6)\n                res_change++;\n            if((code&0x300)==0x200 && src_fmt){\n                valid_psc++;\n            }else\n                invalid_psc++;\n            last_src_fmt= src_fmt;\n        }\n    }\n    if(valid_psc > 2*invalid_psc + 2*res_change + 2){\n        return 50;\n    }else if(valid_psc > 2*invalid_psc)\n        return 25;\n    return 0;\n}']