On Fri, Apr 05, 2019 at 12:02:49PM +0200, Andrzej Hajda wrote: > Hi Dan, > > On 04.04.2019 17:42, Dan Carpenter wrote: > > Hello Andrzej Hajda, > > > > The patch 4d0b0ed63660: "[media] s5p-mfc: use MFC_BUF_FLAG_EOS to > > identify last buffers in decoder capture queue" from Oct 7, 2015, > > leads to the following static checker warning: > > > > drivers/media/platform/s5p-mfc/s5p_mfc_dec.c:664 vidioc_dqbuf() > > warn: uncapped user index 'ctx->dst_bufs[buf->index]' > > > Almost identical e-mail you have sent about year ago, and me and Hans > have explained you that it is false positive. > > Has something changed? Wow! It's remarkable how similar the emails are. Thank you for your patience on this. I am testing a patch which should silence this false positive in Smatch. regards, dan carpenter