On Thu, Jul 22, 2021 at 12:31:42PM +0300, Dan Carpenter wrote: > Smatch is *supposed* to know about the relationship between those two. > The bug is actually that Smatch records in the database that create_fd() > always fails. It's a serious bug, and I'm trying to investigate what's > going on and I'm sure that I will fix this before the end of the week. I'm testing a Smatch fix for this so hopefully it will pushed in a few days. regards, dan carpenter
