stddef.h File Reference

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

Go to the source code of this file.

Macros
#define	__ESBMC_HEADERS_STDDEF_H_
#define	_PTRDIFF_T_DEFINED
#define	_WCHAR_T_DEFINED
#define	_SIZE_T_DEFINED
#define	NULL   ((void *)0)
#define	offsetof(type, member)

Typedefs
typedef long int	ptrdiff_t
typedef short	wchar_t
typedef unsigned int	size_t

Macro Definition Documentation

__ESBMC_HEADERS_STDDEF_H_

#define __ESBMC_HEADERS_STDDEF_H_

_PTRDIFF_T_DEFINED

#define _PTRDIFF_T_DEFINED

_SIZE_T_DEFINED

#define _SIZE_T_DEFINED

_WCHAR_T_DEFINED

#define _WCHAR_T_DEFINED

NULL

#define NULL   ((void *)0)

offsetof

#define offsetof	(		type,
			member )

Value:

__builtin_offsetof(type, member)

Typedef Documentation

ptrdiff_t

typedef long int ptrdiff_t

size_t

typedef unsigned int size_t

wchar_t

typedef short wchar_t