db/fixup_kernel.sh: work around for __to_fd()
commitdd54f72658ac37f184b791b0980a0b6efd7d3881
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 15 Jul 2016 13:54:01 +0000 (15 16:54 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Sat, 16 Jul 2016 21:44:53 +0000 (17 00:44 +0300)
treef637b80bed466bc48e55c88a7d6c1c28bea141d9
parent3f40b5d767745c35bc798c7406bdcdca15d15b23
db/fixup_kernel.sh: work around for __to_fd()

The __to_fd() function looks like this:

static inline struct fd __to_fd(unsigned long v)
{
        return (struct fd){(struct file *)(v & ~3),v & 3};
}

We should be recording it in the database as the place where fd->file and
fd->flags are set.  But we don't because that's hella complicated.  So
instead the database records a couple other places and determines that
fd->file is always NULL.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_data/db/fixup_kernel.sh