setjmp.c File Reference

#include <setjmp.h>

Include dependency graph for setjmp.c:

Functions
int	setjmp (jmp_buf __env)
int	_setjmp (jmp_buf __env)
_Noreturn void	longjmp (jmp_buf env, int status)

Variables
_Thread_local _Bool	__ESBMC_longjmp_pending
_Thread_local int	__ESBMC_longjmp_value
_Thread_local long	__ESBMC_longjmp_token
_Thread_local long	__ESBMC_setjmp_count

Function Documentation

_setjmp()

int _setjmp

(

jmp_buf

__env

)

longjmp()

_Noreturn void longjmp	(	jmp_buf	env,
		int	status )

setjmp()

int setjmp

(

jmp_buf

__env

)

Variable Documentation

__ESBMC_longjmp_pending

_Thread_local _Bool __ESBMC_longjmp_pending

__ESBMC_longjmp_token

_Thread_local long __ESBMC_longjmp_token

__ESBMC_longjmp_value

_Thread_local int __ESBMC_longjmp_value

__ESBMC_setjmp_count

_Thread_local long __ESBMC_setjmp_count