libavcodec/utils.c:541: error: Null Dereference
  pointer `buf` last assigned on line 530 could be null and is dereferenced at line 541, column 13.

libavcodec/utils.c:519:1: start of procedure avcodec_default_release_buffer()
517. }
518. 
519. void avcodec_default_release_buffer(AVCodecContext *s, AVFrame *pic){
     ^
520.     int i;
521.     InternalBuffer *buf, *last;

libavcodec/utils.c:522:5: 
520.     int i;
521.     InternalBuffer *buf, *last;
522.     AVCodecInternal *avci = s->internal;
         ^
523. 
524.     assert(s->codec_type == AVMEDIA_TYPE_VIDEO);

libavcodec/utils.c:524:5: 
522.     AVCodecInternal *avci = s->internal;
523. 
524.     assert(s->codec_type == AVMEDIA_TYPE_VIDEO);
         ^
525. 
526.     assert(pic->type==FF_BUFFER_TYPE_INTERNAL);

libavcodec/utils.c:526:5: 
524.     assert(s->codec_type == AVMEDIA_TYPE_VIDEO);
525. 
526.     assert(pic->type==FF_BUFFER_TYPE_INTERNAL);
         ^
527.     assert(avci->buffer_count);
528. 

libavcodec/utils.c:527:5: 
525. 
526.     assert(pic->type==FF_BUFFER_TYPE_INTERNAL);
527.     assert(avci->buffer_count);
         ^
528. 
529.     if (avci->buffer) {

libavcodec/utils.c:529:9: Taking true branch
527.     assert(avci->buffer_count);
528. 
529.     if (avci->buffer) {
             ^
530.         buf = NULL; /* avoids warning */
531.         for (i = 0; i < avci->buffer_count; i++) { //just 3-5 checks so is not worth to optimize

libavcodec/utils.c:530:9: 
528. 
529.     if (avci->buffer) {
530.         buf = NULL; /* avoids warning */
             ^
531.         for (i = 0; i < avci->buffer_count; i++) { //just 3-5 checks so is not worth to optimize
532.             buf = &avci->buffer[i];

libavcodec/utils.c:531:14: 
529.     if (avci->buffer) {
530.         buf = NULL; /* avoids warning */
531.         for (i = 0; i < avci->buffer_count; i++) { //just 3-5 checks so is not worth to optimize
                  ^
532.             buf = &avci->buffer[i];
533.             if (buf->data[0] == pic->data[0])

libavcodec/utils.c:531:21: Loop condition is false. Leaving loop
529.     if (avci->buffer) {
530.         buf = NULL; /* avoids warning */
531.         for (i = 0; i < avci->buffer_count; i++) { //just 3-5 checks so is not worth to optimize
                         ^
532.             buf = &avci->buffer[i];
533.             if (buf->data[0] == pic->data[0])

libavcodec/utils.c:536:9: 
534.                 break;
535.         }
536.         assert(i < avci->buffer_count);
             ^
537.         avci->buffer_count--;
538.         last = &avci->buffer[avci->buffer_count];

libavcodec/utils.c:537:9: 
535.         }
536.         assert(i < avci->buffer_count);
537.         avci->buffer_count--;
             ^
538.         last = &avci->buffer[avci->buffer_count];
539. 

libavcodec/utils.c:538:9: 
536.         assert(i < avci->buffer_count);
537.         avci->buffer_count--;
538.         last = &avci->buffer[avci->buffer_count];
             ^
539. 
540.         if (buf != last)

libavcodec/utils.c:540:13: Taking true branch
538.         last = &avci->buffer[avci->buffer_count];
539. 
540.         if (buf != last)
                 ^
541.             FFSWAP(InternalBuffer, *buf, *last);
542.     }

libavcodec/utils.c:541:13: 
539. 
540.         if (buf != last)
541.             FFSWAP(InternalBuffer, *buf, *last);
                 ^
542.     }
543. 

void avcodec_default_release_buffer(AVCodecContext *s, AVFrame *pic){
    int i;
    InternalBuffer *buf, *last;
    AVCodecInternal *avci = s->internal;
    assert(s->codec_type == AVMEDIA_TYPE_VIDEO);
    assert(pic->type==FF_BUFFER_TYPE_INTERNAL);
    assert(avci->buffer_count);
    if (avci->buffer) {
        buf = NULL;
        for (i = 0; i < avci->buffer_count; i++) {
            buf = &avci->buffer[i];
            if (buf->data[0] == pic->data[0])
                break;
        }
        assert(i < avci->buffer_count);
        avci->buffer_count--;
        last = &avci->buffer[avci->buffer_count];
        if (buf != last)
            FFSWAP(InternalBuffer, *buf, *last);
    }
    for (i = 0; i < AV_NUM_DATA_POINTERS; i++) {
        pic->data[i]=NULL;
    }
    if(s->debug&FF_DEBUG_BUFFERS)
        av_log(s, AV_LOG_DEBUG, "default_release_buffer called on pic %p, %d "
               "buffers used\n", pic, avci->buffer_count);
}
['void avcodec_default_release_buffer(AVCodecContext *s, AVFrame *pic){\n    int i;\n    InternalBuffer *buf, *last;\n    AVCodecInternal *avci = s->internal;\n    assert(s->codec_type == AVMEDIA_TYPE_VIDEO);\n    assert(pic->type==FF_BUFFER_TYPE_INTERNAL);\n    assert(avci->buffer_count);\n    if (avci->buffer) {\n        buf = NULL;\n        for (i = 0; i < avci->buffer_count; i++) {\n            buf = &avci->buffer[i];\n            if (buf->data[0] == pic->data[0])\n                break;\n        }\n        assert(i < avci->buffer_count);\n        avci->buffer_count--;\n        last = &avci->buffer[avci->buffer_count];\n        if (buf != last)\n            FFSWAP(InternalBuffer, *buf, *last);\n    }\n    for (i = 0; i < AV_NUM_DATA_POINTERS; i++) {\n        pic->data[i]=NULL;\n    }\n    if(s->debug&FF_DEBUG_BUFFERS)\n        av_log(s, AV_LOG_DEBUG, "default_release_buffer called on pic %p, %d "\n               "buffers used\\n", pic, avci->buffer_count);\n}']