blob: 091f0993ca6f2ecbfad7a71f8537c462a718b4e3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
#include <setjmp.h>
#include <string.h>
#include "_safety.h"
/** save program state **/
int setjmp(jmp_buf env)
{
extern int ___setjmp(jmp_buf);
SIGNAL_SAFE(0);
memset(env, 0, sizeof(jmp_buf));
return ___setjmp(env);
}
CHECK_1(int, 0, setjmp, jmp_buf)
/***
saves the current state of the calling environment
in the TYPEDEF(jmp_buf) ARGUMENT(env).
***/
/*
RETURN(0, the environment has been saved by THIS())
RETURN(NONZERO, the environment has been restored by FUNCTION(longjmp))
CONSTRAINT: entire controlling expression of a selection or iteration statement
CONSTRAINT: one operand of a relational or equality operator which is the entire controlling expression of a selction or iteration statement
CONSTRAINT: the operand of a unary ! as the entire controlling expression of a selection or iteration statement
CONSTRAINT: an entire expression statement
UNSPECIFIED(Whether THIS() is a macro or identifier with external linkage)
UNDEFINED(A macro definition of THIS() is suppressed in order to access an actual function)
UNDEFINED(A program defines an external identifier named LITERAL(setjmp))
STDC(1)
*/
|
