setjmp.c File Reference

#include <setjmp.h>

Include dependency graph for setjmp.c:

Go to the source code of this file.

Macros
#define	__CPROVER_SETJMP_H_INCLUDED

Functions
void	longjmp (jmp_buf env, int val)
void	_longjmp (jmp_buf env, int val)
void	siglongjmp (sigjmp_buf env, int val)
int	setjmp (jmp_buf env)
int	_setjmp (jmp_buf env)
int	sigsetjmp (sigjmp_buf env, int savesigs)
int	__sigsetjmp (sigjmp_buf env, int savesigs)

Macro Definition Documentation

__CPROVER_SETJMP_H_INCLUDED

#define __CPROVER_SETJMP_H_INCLUDED

Definition at line 6 of file setjmp.c.

Function Documentation

__sigsetjmp()

int __sigsetjmp	(	sigjmp_buf	env,
		int	savesigs )

Definition at line 126 of file setjmp.c.

_longjmp()

void _longjmp	(	jmp_buf	env,
		int	val )

Definition at line 28 of file setjmp.c.

_setjmp()

int _setjmp

(

jmp_buf

env

)

Definition at line 87 of file setjmp.c.

longjmp()

void longjmp	(	jmp_buf	env,
		int	val )

Definition at line 9 of file setjmp.c.

setjmp()

int setjmp

(

jmp_buf

env

)

Definition at line 72 of file setjmp.c.

siglongjmp()

void siglongjmp	(	sigjmp_buf	env,
		int	val )

Definition at line 49 of file setjmp.c.

sigsetjmp()

int sigsetjmp	(	sigjmp_buf	env,
		int	savesigs )

Definition at line 106 of file setjmp.c.