--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on March 2012 ---
Hi, I found that the file share/libc/fcntl.h in frama-c-Nitrogen may be wrong, because there is no "if" to match the last "endif". /* For posix fcntl() and `l_type' field of a `struct flock' for lockf(). */ #define F_RDLCK 0 /* Read lock. */ #define F_WRLCK 1 /* Write lock. */ #define F_UNLCK 2 /* Remove lock. */ /* For old implementation of bsd flock(). */ #define F_EXLCK 4 /* or 3 */ #define F_SHLCK 8 /* or 4 */ struct flock { short int l_type; /* Type of lock: F_RDLCK, F_WRLCK, or F_UNLCK. */ short int l_whence; /* Where `l_start' is relative to (like `lseek'). */ off_t l_start; /* Offset where the lock begins. */ off_t l_len; /* Size of the locked area; zero means until EOF. */ pid_t l_pid; /* Process holding the lock. */ }; int creat(const char *, mode_t); int fcntl(int, int, ...); int open(const char *, int, ...); #endif Best wishes. -- Henry -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120321/fc9d5720/attachment.html>