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

libavcodec/utils.c:355:1: start of procedure avcodec_default_release_buffer()
353. }
354. 
355. void avcodec_default_release_buffer(AVCodecContext *s, AVFrame *pic){
     ^
356.     int i;
357.     InternalBuffer *buf, *last;

libavcodec/utils.c:359:5: 
357.     InternalBuffer *buf, *last;
358. 
359.     assert(pic->type==FF_BUFFER_TYPE_INTERNAL);
         ^
360.     assert(s->internal_buffer_count);
361. 

libavcodec/utils.c:360:5: 
358. 
359.     assert(pic->type==FF_BUFFER_TYPE_INTERNAL);
360.     assert(s->internal_buffer_count);
         ^
361. 
362.     if(s->internal_buffer){

libavcodec/utils.c:362:8: Taking true branch
360.     assert(s->internal_buffer_count);
361. 
362.     if(s->internal_buffer){
            ^
363.     buf = NULL; /* avoids warning */
364.     for(i=0; i<s->internal_buffer_count; i++){ //just 3-5 checks so is not worth to optimize

libavcodec/utils.c:363:5: 
361. 
362.     if(s->internal_buffer){
363.     buf = NULL; /* avoids warning */
         ^
364.     for(i=0; i<s->internal_buffer_count; i++){ //just 3-5 checks so is not worth to optimize
365.         buf= &((InternalBuffer*)s->internal_buffer)[i];

libavcodec/utils.c:364:9: 
362.     if(s->internal_buffer){
363.     buf = NULL; /* avoids warning */
364.     for(i=0; i<s->internal_buffer_count; i++){ //just 3-5 checks so is not worth to optimize
             ^
365.         buf= &((InternalBuffer*)s->internal_buffer)[i];
366.         if(buf->data[0] == pic->data[0])

libavcodec/utils.c:364:14: Loop condition is false. Leaving loop
362.     if(s->internal_buffer){
363.     buf = NULL; /* avoids warning */
364.     for(i=0; i<s->internal_buffer_count; i++){ //just 3-5 checks so is not worth to optimize
                  ^
365.         buf= &((InternalBuffer*)s->internal_buffer)[i];
366.         if(buf->data[0] == pic->data[0])

libavcodec/utils.c:369:5: 
367.             break;
368.     }
369.     assert(i < s->internal_buffer_count);
         ^
370.     s->internal_buffer_count--;
371.     last = &((InternalBuffer*)s->internal_buffer)[s->internal_buffer_count];

libavcodec/utils.c:370:5: 
368.     }
369.     assert(i < s->internal_buffer_count);
370.     s->internal_buffer_count--;
         ^
371.     last = &((InternalBuffer*)s->internal_buffer)[s->internal_buffer_count];
372. 

libavcodec/utils.c:371:5: 
369.     assert(i < s->internal_buffer_count);
370.     s->internal_buffer_count--;
371.     last = &((InternalBuffer*)s->internal_buffer)[s->internal_buffer_count];
         ^
372. 
373.     FFSWAP(InternalBuffer, *buf, *last);

libavcodec/utils.c:373:5: 
371.     last = &((InternalBuffer*)s->internal_buffer)[s->internal_buffer_count];
372. 
373.     FFSWAP(InternalBuffer, *buf, *last);
         ^
374.     }
375. 
