errno.c File Reference

Go to the source code of this file.

Functions
int *	__error (void)
int *	__errno_location (void)
int *	_errno (void)
int *	__errno (void)
int *	___errno (void)

Variables
__CPROVER_thread_local int	__CPROVER_errno

Function Documentation

___errno()

int* ___errno

(

void

)

Definition at line 54 of file errno.c.

__errno()

int* __errno

(

void

)

Definition at line 43 of file errno.c.

__errno_location()

int* __errno_location

(

void

)

Definition at line 20 of file errno.c.

__error()

int* __error

(

void

)

Definition at line 8 of file errno.c.

_errno()

int* _errno

(

void

)

Definition at line 32 of file errno.c.

Variable Documentation

__CPROVER_errno

__CPROVER_thread_local int __CPROVER_errno

Definition at line 6 of file errno.c.