<div>Hi, </div>
<div>&nbsp;</div>
<div>I am beginner to splint. When I use splint against this code:</div>
<div>&nbsp;</div>
<div>#include &lt;pthread.h&gt;</div>
<div>&nbsp;</div>
<div>int main (void)<br>{<br>&nbsp;return 0;<br>}</div>
<div>&nbsp;</div>
<div>&nbsp;</div>
<div>I get the following:</div>
<div>/usr/include/bits/types.h:192:24: Datatype __socklen_t declared with<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; inconsistent type: unsigned int<br>&nbsp; A function, variable or constant is redefined with a different type. (Use<br>
&nbsp; -incondefs to inhibit warning)<br>&nbsp;&nbsp; load file unix.lcd: Specification of __socklen_t:<br>&nbsp;&nbsp; arbitrary unsigned integral type<br>/usr/include/bits/pthreadtypes.h:36:27:<br>&nbsp;&nbsp;&nbsp; Datatype pthread_t declared with inconsistent type: unsigned long int<br>
&nbsp;&nbsp; load file unix.lcd: Specification of pthread_t: arbitrary integral type<br>/usr/include/bits/pthreadtypes.h:43:3:<br>&nbsp;&nbsp;&nbsp; Datatype pthread_attr_t declared with inconsistent type:<br>&nbsp;&nbsp;&nbsp; union { char [36] __size; long int __align; }<br>
&nbsp;&nbsp; load file unix.lcd: Specification of pthread_attr_t: arbitrary integral type<br>/usr/include/bits/pthreadtypes.h:73:3:<br>&nbsp;&nbsp;&nbsp; Datatype pthread_mutex_t declared with inconsistent type:<br>&nbsp;&nbsp;&nbsp; union { struct __pthread_mutex_s __data; char [24] __size;<br>
&nbsp;&nbsp;&nbsp; long int __align; }<br>&nbsp;&nbsp; load file unix.lcd: Specification of pthread_mutex_t:<br>&nbsp;&nbsp; arbitrary integral type<br>/usr/include/bits/pthreadtypes.h:79:3:<br>&nbsp;&nbsp;&nbsp; Datatype pthread_mutexattr_t declared with inconsistent type:<br>
&nbsp;&nbsp;&nbsp; union { char [4] __size; long int __align; }<br>&nbsp;&nbsp; load file unix.lcd: Specification of pthread_mutexattr_t:<br>&nbsp;&nbsp; arbitrary integral type</div>
<div>&nbsp;</div>
<div>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 ?<br></div>