unistd.c File Reference

#include <errno.h>
#include <sys/types.h>

Include dependency graph for unistd.c:

Go to the source code of this file.

Macros
#define	__CPROVER_ERRNO_H_INCLUDED
#define	__CPROVER_SYS_TYPES_H_INCLUDED
#define	ret_type   ssize_t
#define	size_type   size_t
#define	ret_type   ssize_t
#define	size_type   size_t
#define	ret_type   ssize_t
#define	size_type   size_t
#define	ret_type   ssize_t
#define	size_type   size_t

Functions
unsigned	__VERIFIER_nondet_unsigned (void)
unsigned int	sleep (unsigned int seconds)
unsigned int	_sleep (unsigned int seconds)
__CPROVER_bool	__VERIFIER_nondet___CPROVER_bool (void)
int	usleep (unsigned int usec)
int	_usleep (unsigned int usec)
int	__VERIFIER_nondet_int (void)
int	unlink (const char *s)
int	pipe (int fildes[2])
int	close (int fildes)
int	_close (int fildes)
ssize_t	__VERIFIER_nondet_ret_type (void)
ssize_t	write (int fildes, const void *buf, size_t nbyte)
ssize_t	_write (int fildes, const void *buf, size_t nbyte)
size_t	__VERIFIER_nondet_size_type (void)
ssize_t	read (int fildes, void *buf, size_t nbyte)
ssize_t	_read (int fildes, void *buf, size_t nbyte)
long	__VERIFIER_nondet_long (void)
long	sysconf (int name)

Variables
struct __CPROVER_pipet	__CPROVER_pipes [__CPROVER_constant_infinity_uint]
const int	__CPROVER_pipe_offset
unsigned	__CPROVER_pipe_count = 0

Macro Definition Documentation

__CPROVER_ERRNO_H_INCLUDED

#define __CPROVER_ERRNO_H_INCLUDED

Definition at line 29 of file unistd.c.

__CPROVER_SYS_TYPES_H_INCLUDED

#define __CPROVER_SYS_TYPES_H_INCLUDED

Definition at line 183 of file unistd.c.

ret_type [1/4]

#define ret_type   ssize_t

Definition at line 346 of file unistd.c.

ret_type [2/4]

#define ret_type   ssize_t

Definition at line 346 of file unistd.c.

ret_type [3/4]

#define ret_type   ssize_t

Definition at line 346 of file unistd.c.

ret_type [4/4]

#define ret_type   ssize_t

Definition at line 346 of file unistd.c.

size_type [1/4]

#define size_type   size_t

Definition at line 347 of file unistd.c.

size_type [2/4]

#define size_type   size_t

Definition at line 347 of file unistd.c.

size_type [3/4]

#define size_type   size_t

Definition at line 347 of file unistd.c.

size_type [4/4]

#define size_type   size_t

Definition at line 347 of file unistd.c.

Function Documentation

__VERIFIER_nondet___CPROVER_bool()

__CPROVER_bool __VERIFIER_nondet___CPROVER_bool

(

void

)

__VERIFIER_nondet_int()

int __VERIFIER_nondet_int

(

void

)

__VERIFIER_nondet_long()

long __VERIFIER_nondet_long

(

void

)

__VERIFIER_nondet_ret_type()

ssize_t __VERIFIER_nondet_ret_type

(

void

)

__VERIFIER_nondet_size_type()

size_t __VERIFIER_nondet_size_type

(

void

)

__VERIFIER_nondet_unsigned()

unsigned __VERIFIER_nondet_unsigned

(

void

)

_close()

int _close

(

int

fildes

)

Definition at line 166 of file unistd.c.

_read()

ssize_t _read	(	int	fildes,
		void *	buf,
		size_t	nbyte
	)

Definition at line 352 of file unistd.c.

_sleep()

unsigned int _sleep

(

unsigned int

seconds

)

Definition at line 19 of file unistd.c.

_usleep()

int _usleep

(

unsigned int

usec

)

Definition at line 54 of file unistd.c.

_write()

ssize_t _write	(	int	fildes,
		const void *	buf,
		size_t	nbyte
	)

Definition at line 244 of file unistd.c.

close()

int close

(

int

fildes

)

Definition at line 139 of file unistd.c.

pipe()

int pipe

(

int

fildes[2]

)

Definition at line 90 of file unistd.c.

read()

ssize_t read	(	int	fildes,
		void *	buf,
		size_t	nbyte
	)

Definition at line 275 of file unistd.c.

sleep()

unsigned int sleep

(

unsigned int

seconds

)

Definition at line 5 of file unistd.c.

sysconf()

long sysconf

(

int

name

)

Definition at line 372 of file unistd.c.

unlink()

int unlink

(

const char *

s

)

Definition at line 64 of file unistd.c.

usleep()

int usleep

(

unsigned int

usec

)

Definition at line 34 of file unistd.c.

write()

ssize_t write	(	int	fildes,
		const void *	buf,
		size_t	nbyte
	)

Definition at line 195 of file unistd.c.

Variable Documentation

__CPROVER_pipe_count

unsigned __CPROVER_pipe_count = 0

Definition at line 86 of file unistd.c.

__CPROVER_pipe_offset

const int __CPROVER_pipe_offset

extern

Definition at line 137 of file unistd.c.

__CPROVER_pipes

struct __CPROVER_pipet __CPROVER_pipes

extern

Definition at line 90 of file unistd.c.