stdlib.h File Reference

#include <__esbmc/stddefs.h>
#include <stddef.h>

Include dependency graph for stdlib.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	div_t
struct	ldiv_t
struct	lldiv_t

Macros
#define	EXIT_SUCCESS   0
#define	EXIT_FAILURE   1
#define	RAND_MAX   2147483647

Functions
void *	malloc (size_t size)
void	free (void *p)
int	posix_memalign (void **memptr, size_t alignment, size_t size)
void *	aligned_alloc (size_t align, size_t size)
int	system (const char *command)
void *	bsearch (const void *key, const void *base, size_t num, size_t size, int(*comparator)(const void *, const void *))
void	qsort (void *base, size_t num, size_t size, int(*comparator)(const void *, const void *))
int	abs (int n)
long	labs (long n)
long long	llabs (long long n)
void *	realloc (void *ptr, size_t size)
void *	calloc (size_t num, size_t size)
div_t	div (int numerator, int denominator)
long int	labs (long int n)
ldiv_t	ldiv (long int numerator, long int denominator)
lldiv_t	lldiv (long long int numerator, long long int denominator)
int	mblen (const char *pmb, size_t max)
int	mbtowc (wchar_t *__ESBMC_restrict pwc, const char *__ESBMC_restrict pmb, size_t max)
int	wctomb (char *pmb, wchar_t character)
size_t	mbstowcs (wchar_t *__ESBMC_restrict wcstr, const char *__ESBMC_restrict mbstr, size_t max)
size_t	wcstombs (char *__ESBMC_restrict mbstr, const wchar_t *__ESBMC_restrict wcstr, size_t max)
double	atof (const char *str)
int	atoi (const char *str)
long int	atol (const char *str)
long long	atoll (const char *str)
float	strtof (const char *__ESBMC_restrict str, char **__ESBMC_restrict endptr)
double	strtod (const char *__ESBMC_restrict str, char **__ESBMC_restrict endptr)
long double	strtold (const char *__ESBMC_restrict str, char **__ESBMC_restrict endptr)
long int	strtol (const char *__ESBMC_restrict str, char **__ESBMC_restrict endptr, int base)
long long int	strtoll (const char *__ESBMC_restrict str, char **__ESBMC_restrict endptr, int base)
unsigned long int	strtoul (const char *__ESBMC_restrict str, char **__ESBMC_restrict endptr, int base)
unsigned long long int	strtoull (const char *__ESBMC_restrict str, char **__ESBMC_restrict endptr, int base)
char *	getenv (const char *name)
void	exit (int status)
void	abort (void)
int	atexit (void(*function)(void))
int	rand (void)
long	random (void)
void	srandom (unsigned int seed)
void	srand (unsigned int s)

Macro Definition Documentation

EXIT_FAILURE

#define EXIT_FAILURE   1

EXIT_SUCCESS

#define EXIT_SUCCESS   0

RAND_MAX

#define RAND_MAX   2147483647

Function Documentation

abort()

void abort

(

void

)

abs()

int abs

(

int

n

)

aligned_alloc()

void * aligned_alloc	(	size_t	align,
		size_t	size )

atexit()

int atexit

(

void(*

function )(void)

)

atof()

double atof

(

const char *

str

)

atoi()

int atoi

(

const char *

str

)

atol()

long int atol

(

const char *

str

)

atoll()

long long atoll

(

const char *

str

)

bsearch()

void * bsearch	(	const void *	key,
		const void *	base,
		size_t	num,
		size_t	size,
		int(*	comparator )(const void *, const void *) )

calloc()

void * calloc	(	size_t	num,
		size_t	size )

div()

div_t div	(	int	numerator,
		int	denominator )

exit()

void exit

(

int

status

)

free()

void free

(

void *

p

)

getenv()

char * getenv

(

const char *

name

)

labs() [1/2]

long int labs

(

long int

n

)

labs() [2/2]

long labs

(

long

n

)

ldiv()

ldiv_t ldiv	(	long int	numerator,
		long int	denominator )

llabs()

long long llabs

(

long long

n

)

lldiv()

lldiv_t lldiv	(	long long int	numerator,
		long long int	denominator )

malloc()

void * malloc

(

size_t

size

)

mblen()

int mblen	(	const char *	pmb,
		size_t	max )

mbstowcs()

size_t mbstowcs	(	wchar_t *__ESBMC_restrict	wcstr,
		const char *__ESBMC_restrict	mbstr,
		size_t	max )

mbtowc()

int mbtowc	(	wchar_t *__ESBMC_restrict	pwc,
		const char *__ESBMC_restrict	pmb,
		size_t	max )

posix_memalign()

int posix_memalign	(	void **	memptr,
		size_t	alignment,
		size_t	size )

qsort()

void qsort	(	void *	base,
		size_t	num,
		size_t	size,
		int(*	comparator )(const void *, const void *) )

rand()

int rand

(

void

)

random()

long random

(

void

)

realloc()

void * realloc	(	void *	ptr,
		size_t	size )

srand()

void srand

(

unsigned int

s

)

srandom()

void srandom

(

unsigned int

seed

)

strtod()

double strtod	(	const char *__ESBMC_restrict	str,
		char **__ESBMC_restrict	endptr )

strtof()

float strtof	(	const char *__ESBMC_restrict	str,
		char **__ESBMC_restrict	endptr )

strtol()

long int strtol	(	const char *__ESBMC_restrict	str,
		char **__ESBMC_restrict	endptr,
		int	base )

strtold()

long double strtold	(	const char *__ESBMC_restrict	str,
		char **__ESBMC_restrict	endptr )

strtoll()

long long int strtoll	(	const char *__ESBMC_restrict	str,
		char **__ESBMC_restrict	endptr,
		int	base )

strtoul()

unsigned long int strtoul	(	const char *__ESBMC_restrict	str,
		char **__ESBMC_restrict	endptr,
		int	base )

strtoull()

unsigned long long int strtoull	(	const char *__ESBMC_restrict	str,
		char **__ESBMC_restrict	endptr,
		int	base )

system()

int system

(

const char *

command

)

wcstombs()

size_t wcstombs	(	char *__ESBMC_restrict	mbstr,
		const wchar_t *__ESBMC_restrict	wcstr,
		size_t	max )

wctomb()

int wctomb	(	char *	pmb,
		wchar_t	character )