Loading...

Searching...

No Matches

Macros | Functions | Variables

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

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 185 of file unistd.c.

◆ ret_type [2/4]

#define ret_type ssize_t

Definition at line 185 of file unistd.c.

◆ ret_type [3/4]

#define ret_type ssize_t

Definition at line 185 of file unistd.c.

◆ ret_type [4/4]

#define ret_type ssize_t

Definition at line 185 of file unistd.c.

◆ size_type [1/4]

#define size_type size_t

Definition at line 186 of file unistd.c.

◆ size_type [2/4]

#define size_type size_t

Definition at line 186 of file unistd.c.

◆ size_type [3/4]

#define size_type size_t

Definition at line 186 of file unistd.c.

◆ size_type [4/4]

#define size_type size_t

Definition at line 186 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

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 135 of file unistd.c.