--- layout: fc_discuss_archives title: Message 20 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?



You are right. As I warned previously on this list, the standard headers should be considered untested work-in-progress. The file has been fixed.

Pascal

On 21 mars 2012, at 06:29, Henry <njucslzh0714 at gmail.com> wrote:

> 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
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss