Package: splint-data
Version: 3.1.2.dfsg1-2
Severity: normal

In /usr/share/splint/lib/unix.h there is this definition:

| struct timespec {
|   long  ts_sec;
|   long  ts_nsec;
| } ;

The file is used when specifying +unixlib. In contrast man time.h (from
package manpages-posix-dev) says that timespec should have the following
fields:

| The <time.h> header shall declare the structure timespec, which has at
| least the following members:
|     time_t  tv_sec    Seconds.
|     long    tv_nsec   Nanoseconds.

Correct usage of the timespec structure thus results in incorrect
reports about non-existent members. To solve this issue the shipped
unix.h needs to have four bits flipped. Do you need a patch?

Helmut



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to