--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on March 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Does it contain errors in file fcntl.h?



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>