On 10/07/2014, at 1:23 AM, Hasan Jamal wrote: > 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.
Could you make a dummy header with close enough typedefs, and do #ifdef S_SPLINT_S #include "dummy.h" #else #include <real header one> #include <real header two> ... #endif ? _______________________________________________ splint-discuss mailing list [email protected] http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
