Hi,
I'm trying to use Splint for Linux drivers. I'm using skip-sys-headsers so
that it won't parse headers but the driver need to use various typedef that
it can't get from headers. Have anyone used Splint for Linux drivers? What
to do about these errors?
Thanks,
Hasan
splint +skip-sys-headers master.c
Splint 3.1.2 --- 06 Jul 2014
master.c:384:86: Parse Error: Inconsistent function parameter syntax: loff_t
:
<any>. (For help on parse errors, see splint -help
parseerrors.)
*** Cannot continue.
master.c:384:static ssize_t master_write (struct file *file, const char
*buf, size_t count, loff_t *ppos)
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
