[splint-discuss] splint and pthreads

[RKS]

Hi,

I am beginner to splint. When I use splint against this code:

#include <pthread.h>

int main (void)
{
 return 0;
}


I get the following:
/usr/include/bits/types.h:192:24: Datatype __socklen_t declared with
                                     inconsistent type: unsigned int
  A function, variable or constant is redefined with a different type. (Use
  -incondefs to inhibit warning)
   load file unix.lcd: Specification of __socklen_t:
   arbitrary unsigned integral type
/usr/include/bits/pthreadtypes.h:36:27:
    Datatype pthread_t declared with inconsistent type: unsigned long int
   load file unix.lcd: Specification of pthread_t: arbitrary integral type
/usr/include/bits/pthreadtypes.h:43:3:
    Datatype pthread_attr_t declared with inconsistent type:
    union { char [36] __size; long int __align; }
   load file unix.lcd: Specification of pthread_attr_t: arbitrary integral
type
/usr/include/bits/pthreadtypes.h:73:3:
    Datatype pthread_mutex_t declared with inconsistent type:
    union { struct __pthread_mutex_s __data; char [24] __size;
    long int __align; }
   load file unix.lcd: Specification of pthread_mutex_t:
   arbitrary integral type
/usr/include/bits/pthreadtypes.h:79:3:
    Datatype pthread_mutexattr_t declared with inconsistent type:
    union { char [4] __size; long int __align; }
   load file unix.lcd: Specification of pthread_mutexattr_t:
   arbitrary integral type

I see that there is a mismatch between what is declared in the bits/types.h
and unix.h, unix.lcd. But how do I resolve this ?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20081124/247f73a1/attachment.html