fcntl.c File Reference

#include <fcntl.h>
#include <errno.h>

Include dependency graph for fcntl.c:

Go to the source code of this file.

Macros
#define	__CPROVER_FCNTL_H_INCLUDED
#define	__CPROVER_ERRNO_H_INCLUDED
#define	MODE_T   mode_t

Functions
int	__VERIFIER_nondet_int (void)
int	__CPROVER_fcntl (int fd, int cmd)
int	fcntl (int fd, int cmd,...)
int	_fcntl (int fd, int cmd,...)
int	fcntl64 (int fd, int cmd,...)
int	__CPROVER_open (const char *pathname, int flags)
int	open (const char *pathname, int flags,...)
int	_open (const char *pathname, int flags,...)
int	open64 (const char *pathname, int flags,...)
int	__CPROVER_creat (const char *pathname, mode_t mode)
int	creat (const char *pathname, mode_t mode)
int	_creat (const char *pathname, mode_t mode)
int	creat64 (const char *pathname, mode_t mode)
int	__CPROVER_openat (int dirfd, const char *pathname, int flags)
int	openat (int dirfd, const char *pathname, int flags,...)
int	_openat (int dirfd, const char *pathname, int flags,...)
int	openat64 (int dirfd, const char *pathname, int flags,...)

Macro Definition Documentation

__CPROVER_ERRNO_H_INCLUDED

#define __CPROVER_ERRNO_H_INCLUDED

Definition at line 10 of file fcntl.c.

__CPROVER_FCNTL_H_INCLUDED

#define __CPROVER_FCNTL_H_INCLUDED

Definition at line 5 of file fcntl.c.

MODE_T

#define MODE_T   mode_t

Definition at line 114 of file fcntl.c.

Function Documentation

__CPROVER_creat()

int __CPROVER_creat	(	const char *	pathname,
		mode_t	mode
	)

Definition at line 120 of file fcntl.c.

__CPROVER_fcntl()

int __CPROVER_fcntl	(	int	fd,
		int	cmd
	)

Definition at line 15 of file fcntl.c.

__CPROVER_open()

int __CPROVER_open	(	const char *	pathname,
		int	flags
	)

Definition at line 66 of file fcntl.c.

__CPROVER_openat()

int __CPROVER_openat	(	int	dirfd,
		const char *	pathname,
		int	flags
	)

Definition at line 210 of file fcntl.c.

__VERIFIER_nondet_int()

int __VERIFIER_nondet_int

(

void

)

_creat()

int _creat	(	const char *	pathname,
		mode_t	mode
	)

Definition at line 169 of file fcntl.c.

_fcntl()

int _fcntl	(	int	fd,
		int	cmd,
			...
	)

Definition at line 43 of file fcntl.c.

_open()

int _open	(	const char *	pathname,
		int	flags,
			...
	)

Definition at line 89 of file fcntl.c.

_openat()

int _openat	(	int	dirfd,
		const char *	pathname,
		int	flags,
			...
	)

Definition at line 240 of file fcntl.c.

creat()

int creat	(	const char *	pathname,
		mode_t	mode
	)

Definition at line 147 of file fcntl.c.

creat64()

int creat64	(	const char *	pathname,
		mode_t	mode
	)

Definition at line 191 of file fcntl.c.

fcntl()

int fcntl	(	int	fd,
		int	cmd,
			...
	)

Definition at line 34 of file fcntl.c.

fcntl64()

int fcntl64	(	int	fd,
		int	cmd,
			...
	)

Definition at line 52 of file fcntl.c.

open()

int open	(	const char *	pathname,
		int	flags,
			...
	)

Definition at line 80 of file fcntl.c.

open64()

int open64	(	const char *	pathname,
		int	flags,
			...
	)

Definition at line 98 of file fcntl.c.

openat()

int openat	(	int	dirfd,
		const char *	pathname,
		int	flags,
			...
	)

Definition at line 231 of file fcntl.c.

openat64()

int openat64	(	int	dirfd,
		const char *	pathname,
		int	flags,
			...
	)

Definition at line 249 of file fcntl.c.