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